Techniques of estimating integrals, asymptotic behavior of Li(x)

91 Views Asked by At

I need help understanding the logic and build an rigorous intuition proving that if $x \gt 2$, then:

$$\int_{2}^{x} \frac{dt}{t \log^{3} t} \lt \frac{1}{2 \log^{2}2}$$

2

There are 2 best solutions below

1
On BEST ANSWER

Notice that $$\int_2^x \frac{dt}{t\ln^3(t)}<\int_2^{\infty} \frac{dt}{t\ln^3(t)}=\frac{1}{2\ln^2(2)}$$ and we are done.

0
On

$$\int_{2}^{x} \frac{dt}{t \log^{3} t} = \frac12\left(\frac{1}{\log^{2}2}-\frac{1}{\log^{2}x}\right)<\frac{1}{2\log^{2}2}$$ How much logic would one need for that? How much logic can one muster while seriously combining "rigorous" and "intuition"?