Мне кажется, что вы усложняете себе работу, рассматривая сходимость

Гильбрайта по двум аргументам:

Не проще ли закрепить

в ПСВ и оставить один аргумент

Я предлагаю

т.е. использовать половину ПСВ, вычеты которой зеркально копируют вычеты второй половины.
В общем случае это не проходит, так как при r=2, M=6, N=3 (меньше

), r=3, M=30,N=15 ( меньше

), r=4, M=210, N=105 уже больше

. Таким образом, при r>3 для асимтотических оценок это можно использовать.
-- 18.05.2012, 16:40 --Наверное у меня не срабатывает URL, но я сделал приписку: тема находится здесь же, т.е
в теме "Бесконечность простых чисел-близнецов" на стр.2 в двух постах .
Я прочитал эти посты. Там вопрос ставится немного по-другому: определить число разностей d в ПСВ по модулю М, а не определить максимум разности соседних членов ПСВ по модулю.