Я доказал её! Это было легко.
Введём функцию

, которая показывает кол-во знаков в целой части данного числа, а дальше
Добавлено спустя 1 минуту 35 секунд:
Просто я думал, что в "помогите решить" тоже это не поместить. А вдруг там какое-нибудь обобщение есть.
Ну, по крайней мере, формулу проверили
Добавлено спустя 1 минуту 17 секунд:
Xaositect, а почему у вас логарифм округляется сверху, а не снизу??