Bertrand's postulate

GPTKB entity