فرضية "برتراند" (Bertrand postulate)

فرضية "برتراند" يوجد دائماً عدد أول واحد على الأقل بين $ن$ و $2ن - 2$، بشرط كون $ن$ عدداً صحيحاً أكبر من $3$. مثال ذلك، إذا كانت $ن = 4$ فإن $7 = 2 \times 4 - 1$، والعدد الأول $5$ يقع بين $4$ و $6$. وقد ثَبُتَتْ صحة فرضية "برتراند"، ومن ثَمَّ فإنها نظرية صحيحة.