Если бы вид асимптотики был как многочлен, то отпало бы необходимость в

(нулевой коэффициент многочлена явился бы им).
А, ну да, надо добавить ограничение, что

- многочлен без свободного члена.
Старший член находится не сложно как

. Я не уверен, что остальное является многочленом от двойного логарифма при

.
Я уверен

Ну или давайте предположим, что это так. Доказать не докажу - длинно слишком.
Я пытался по аналогии с вычислением постоянной Мертенса - брать произведение

, но не знаю, как его считать. Сравнивать с

тоже бесполезно - разность к нулю не стремится.