Чуть больше об этой же технике можно почитать
здесь, начиная со стр. 388 (я уверен, что читал это на русском, но не могу быстро найти ни в своей библиотеке, ни в сети).
-- 23.12.2019, 00:25 --Почти но немного не то. Моя гипотеза сильнее: сразу же за

первыми цифрами числа

не может идти набор из

девяток для

.
Вы, однако, тонкий ценитель гипотез :)
Можете не сомневаться, что гипотеза верна также для
![$[m/2]$ $[m/2]$](https://dxdy-03.korotkov.co.uk/f/2/e/6/2e622a6ea569cf6a2e5d0bcc93fd019182.png)
девяток, и что бесконечно много более сильных подобных гипотез тоже будут верны.
-- 23.12.2019, 00:28 --Почти но немного не то.
И, кстати, давайте рассуждать логически. Если неизвестно, верна ли более слабая гипотеза, что можно сказать о Вашей? И тогда в каком смысле это "не то"?