In number theory, Bonse's inequality, named after H. Bonse, relates the size of a primorial to the smallest prime that does not appear in its prime factorization. It states that for all , if are the first prime numbers, then
Barkley Rosser showed an upper bound where .