Content deleted Content added
Fixed equation Tags: Mobile edit Mobile web edit |
No edit summary |
||
Line 41:
with the numerators listed in {{OEIS2C|A272755}} and denominators in {{OEIS2C|A272757}}.
==Asymptotic==
<math>\begin{align}\log f(x)&=-\frac{\log^2x}{2 \log2}+\frac{\log x\cdot\log (-\log x)}{\log2}-\left(\frac{1}{2}+\frac{1+\log \log2}{\log2}\right)\log x -\frac{\log ^2(-\log x)}{2 \log 2}+\frac{\log \log 2\cdot\log (-\log x)}{\log 2}\\&+\left(\frac{6 \gamma ^2+12 \gamma_1-\pi ^2-6 \log ^2\log 2}{12 \log 2}-\frac{7 \log 2}{12}-\frac{\log\pi}2\right)+O\!\left(\frac{\log^2(-\log x)}{\log x}\right)\quad\text{for}\,x\to0^+,\end{align}</math>
where <math>\gamma</math> is [[Euler's constant]], and <math>\gamma_1</math> is the [[Stieltjes constants|Stieltjes constant]].
==References==
| |||