эксперименты с простыми числами

[RIP]

(Оффтоп)

вот только поправочный сдвиг вроде бы должен быть $a\sim\frac{n\ln\ln n}{\ln n}$, but who cares?

[megamix62]

RIP в сообщении #322510 писал(а):

Sonic86
Вы правы, $\sqrt[n]{p_1\ldots p_n}\sim\frac{n\log n}{\mathrm e}$.

\lim\limits_{n\rightarrow\infty}\sqrt[n]{p_1\cdot\dots\cdot p_\pi(n)}=e.

$\sqrt[n]{p_1\ldots p_n}\sim\frac{n\log n}{\mathrm e}\sim \frac{ p_n}{\mathrm e}$.