Пусть

. Легко проверяется

и далее А уменьшается, если n не малое.
Рассмотрим отношение

.
Отношение меньше 1, если

, т.е.

и это отношение. При фиксированном s, отношение

. Поэтому, проще найти по заданному s до какого m

. С этой целью Рассмотрим две величины

.
Рассмотрим отношения

.
Доказывая

получаем, что

только в случае
При каждом n найдётся единственное значение s, такое, что

за исключением

.