Гипотеза ЛежандраМежду квадратами последовательных чисел лежит по крайне мере одно простое число. Рассмотрим спираль Улама.

Квадраты я отметил зеленым цветом, простые числа красным.
Видно, что на каждом витке спирали Улама между квадратами лежит по крайне мере одно простое число.
Всегда ли это так?
Возьмем, к примеру, интервал между 36 и 36-√36= 36-6= 30
Т.е. числа 31, 32, 33, 34, 35, 36.
Длина интервала 6.
Половина из интервала (6:2=3) делится на 2, это три числа 32, 34, 36.
Из оставшихся 31, 33, 35 треть (3:3=1) делится на 3 . Это 33. Из оставшихся чисел (31 и 35) пятая часть делится на 5
2:5=0,4 В лучшем случае одно делится на 5. (Это 35).
На 7 деление не рассматриваем. Так как 7*7=49>36. А на пять мы уже рассмотрели деление.
Так сколько у нас осталось чисел? 2-0,4=1,6 Больше одного. (2-1 если на 5 делится. Наш случай, 2-0, если бы на 5 не делилось.) Вот эти один или два оставшихся чисел будут простыми.
Ну а теперь запишем эти рассуждения на языке формул.
Небольшое пояснение, почему каждый множитель больше единицы. Там следующий трюк
(1-1/2)(1-1/3)(1-1/5)(1-1/7)…=1/2*2/3*4/5*6/7…=1/3*4/5*6/7…=4/3*6/5*….
Ну а последний знаменатель (7) выносим вперед к числителю √x.
Мы по определению рассматриваем последнее простое число < √x
Недостаток этого доказательства, что я лихо заменяю дробью количество простых чисел в интервале. Когда последнее может быть только целым.
В школьные годы мне казалось очевидным, что если округлять количество простых чисел в большую сторону, то тогда на витках Улама их и подавно будет больше одного, но при строгом доказательстве, вероятно, какие-то сложности появятся.