Сдаётся мне, что оно и чётно для бесконечно многих. Вместе эти утверждения означают, что оно бесконечно много раз меняет чётность туда-сюда. То есть что б.м. раз
и
имеют разную чётность. Ограничимся теми n, которые сами делятся на 1000 - я думаю, этого хватит. В этих терминах гипотеза звучит так: б.м. раз
и
либо имеют
одинаковую чётность, причём оба числа не делятся на 5, либо - разную и кто-то из них делится. Теперь как звучит её отрицание? Как будто, начиная откуда-то,
тупо всегда меняет чётность между соседними числами, если ни одно из них не делится на 5, и нет, если да. То есть там
ксю кси от чисел с окончаниями 1, 3, 7 и 9 имеет одну чётность, а от всех остальных - другую. Но.