Если бы вид асимптотики был как многочлен, то отпало бы необходимость в
(нулевой коэффициент многочлена явился бы им).
А, ну да, надо добавить ограничение, что
- многочлен без свободного члена.
Старший член находится не сложно как
. Я не уверен, что остальное является многочленом от двойного логарифма при
.
Я уверен
Ну или давайте предположим, что это так. Доказать не докажу - длинно слишком.
Я пытался по аналогии с вычислением постоянной Мертенса - брать произведение
, но не знаю, как его считать. Сравнивать с
тоже бесполезно - разность к нулю не стремится.