فرضية ستيرنك


سميت هاته الحدسية هكذا نسبة لعالم رياضيات اسمه فون ستيرنك، وتنص على ما يلي :

|M(n)|<n2 عندما يكون n>200 حيث (M(n هي دالة ميرتنز.

لقد حسب هذا العالم في سنة 1912 قيمة (M(n بالنسبة ل n5*106 أي خمسة ملايين، فوضع حدسيته بناء على هاته الحسابات.

في سنة 1960، أثبت خطأ هاته الحدسية بإعطاء برهان على ذلك ولكن بدون إعطاء إي مثال مضاد لا يحقق الحدسية. أول مثال مضاد لا يحقق الحدسية وجد من طرف عالم اسمه نويباور.

حسب نويباور قيمة (M(n بالنسبة ل n108 (أي مائة مليون) وبالنسبة لعديد من القيم المحصورة بين 108 و1010 (أي ما بين مائة مليون وعشرة ملايير)، فوجد أعدادا تقارب 7.77*109 ل n حيث |M(n)|>n2.

على كل حال، وجد ما يلي :

أصغر عدد n يحقق |M(n)|>n2 هو 7725030629، وحتى هذا الحد، لا يوجد أي عدد ينتهك حدسية ميرتنز، وأنه بالنسبة لكامل الأعداد حيث حسبت قيمة (M(n، تحققت المتراجحة التالية :

|M(n)|<0.6*n