Короче,

.
Тут дело такое. То, что оно возрастает (точнее, не убывает), еще не означает бесконечность предела. Возьмите, к примеру,

.
Хотя похоже на расходящееся к бесконечности. Сейчас Чапай подумает и отпишет.
-- Чт июн 03, 2010 16:18:11 --Ну да,

можно переписать так:

Для всех простых

, не являющихся старшими близнецами,

.
Тогда

оценивается снизу приблизительно таким выражением:

Вам остается объяснить:
1. Почему последнее выражение стремится к

.
2. Почему приблизительность оценки не влияет на стремление к бесконечности. Тут пригодится теорема Бруна: ряд, составленный из чисел, обратных к простым-близнецам, сходится.
Возможно, все это можно доказать и проще, учитывая то, что

-- довольно плохая оценка. Но я пока более простого пути не вижу.