فرضية ريمان
تم إنشاء أول صيغة معروفة من قبل ، الذي أثبت وجود عدد حقيقي formula_30، بحيث أنه إذا كان :formula_31فإن :formula_32هو عدد أولي لجميع الأعداد الصحيحة الموجبة formula_2 . إذا كانت فرضية ريمان صحيحة ، فإن أصغر "A" له قيمة حوالي formula_34 ويُعرف باسم ثابت ميلز . تؤدي هذه القيمة إلى ظهور الأعداد الأولية التالية formula_35 و formula_36 و formula_37 ، ... . لا يُعرف سوى القليل جدًا عن الثابت formula_30 (ولا حتى كونه كسرياً أو لا). هذه الصيغة ليس لها قيمة عملية ، لأنه لا توجد طريقة معروفة لحساب الثابت دون إيجاد الأعداد الأولية في المقام الأول.