Bertrand–Chebyshev theorem

GPTKB entity