Вики пишет, что Бертран проверил свой постулат до
, и это в 1845г! Как такое можно осуществить, не пользуясь компьютером?
Достаточно найти возрастающую последовательность простых, следующее число в которое меньше удвоенного предыдущего. Для этого берем текущее последнее число, удваиваем его и идем вниз, пока не наткнемся на простое (проверить число порядка миллиона на простоту вручную можно).
Для этого нужны
(такие проверки)
prime: 3
prime: 5
9 % 3 = 0
prime: 7
prime: 13
25 % 5 = 0
prime: 23
45 % 3 = 0
prime: 43
85 % 5 = 0
prime: 83
165 % 3 = 0
prime: 163
325 % 5 = 0
prime: 323
645 % 3 = 0
prime: 643
1285 % 5 = 0
prime: 1283
2565 % 3 = 0
prime: 2563
5125 % 5 = 0
prime: 5123
10245 % 3 = 0
prime: 10243
20485 % 5 = 0
prime: 20483
40965 % 3 = 0
prime: 40963
81925 % 5 = 0
prime: 81923
163845 % 3 = 0
prime: 163843
327685 % 5 = 0
prime: 327683
655365 % 3 = 0
prime: 655363
1310725 % 5 = 0
prime: 1310723
2621445 % 3 = 0
prime: 2621443
5242885 % 5 = 0
prime: 5242883
Считаем, что четные числа мы сразу отбрасываем - надо обнаружить, что приведенные составные числа имеют нужные делители - так везет, что достаточно
и
, и еще надо проверить на простоту 23 числа. Имея под рукой таблицу простых чисел до
вполне можно управиться за несколько часов.
(я не знаю, проверял ли он так, или использовал какие-то еще соображения)