Вот как бы из сравнений

извлечь информацию вида

при непостоянных аргументах почти невозможно, разве что исключить конечное число точек.
Вот давайте обозначим

, потом вернемся к ним. Получим формулировку вида:

Давайте представим, как это выглядит. Допустимых значений

бесконечно много как влево, так и вправо. Допустимых значений

также бесконечно много влево и вправо, хотя их несколько меньше. Так с чего вдруг

? Ведь если

удовлетворяют сравнениям, то

удовлетворяют сравнениям.
Остается лишь ограничение

. - это просто все непростые числа (а если я еще и знаки учту, то вообще...). Это же очень слабое ограничение - непростых чисел, удовлетворяющих сравнению все равно останется бесконечно много, мера простых чисел - нуль в

.
upd: блин, мой текст теперь неактуален, предыдущий пост был поправлен.
-- Пт июл 05, 2013 08:07:32 --Просто заменил

на

, а

на

.
а вот это уже другое дело...
-- Пт июл 05, 2013 08:10:49 --Извините за назойливость. Мой (более сложный вариант) изначально был таким:


Всегда ли

Здесь такая же ошибка просто в силу того, что

лежат в классах вычетов. Попробуйте найти ошибку сами аналогичными рассуждениями.