Об асимптотической формуле для $F_1(x)$

Пусть $F_1(x)$ обозначает количество натуральных чисел $n$, которые не превосходят $x$ и для которых существует ровно одна (с точностью до изоморфизма) группа порядка $n$. Доказано, что
$$ F_1(x)=\biggl(1+O\biggl(\frac{\ln\ln\ln\ln x}{\ln\ln\ln x}\biggr)\biggr)\frac{e^{-\gamma}x}{\ln\ln\ln x}, $$
где $\gamma=0{,}577\dots$ – постоянная Эйлера.
Библиогр. 6.