Смотрите картинку метрики ошибок (ту что приводил выше) в зависимости от

в двойном логарифмическом масштабе:

Хорошо видно что ошибка линейно (в этих координатах) падает, для нижней границы более точно, для верхней менее, но всё же. Это конечно не доказательство, но неслабый такой намёк, что предел таки вероятно 0, т.е. и

и

приближаются к

.
выполняется ли, хотя бы для больших

условие

Нет, считайте сами (два первых попавшихся примера больших

с наибольшим отношением

):
Код:
p=72287: k=36165, l=36984, k/p=0.5003, l/p=0.5116, err=0.0119
p=72949: k=36497, l=37285, k/p=0.5003, l/p=0.5111, err=0.0114