Ville's inequality

GPTKB entity