Это, видимо, только

Насчет доказательства...вероятным противопоказанием для (составного) числа

быть счастливейщим является существование составного же числа

, взаимнопростого с

. И, достаточно поглядывать только на примориалы (квадрат или б
ольшая степень одного из простых множителей только понижают шансы числа быть счастливейшим). А за пределами тридцатки такое всегда будет. Тут еще слелано смелое предположение, что при взаимнопростых

, всегда найдется какое-нибудь простое вида

; наверное, это можно доказать, но я чего-то туплю