Skip to main content
added 325 characters in body
Source Link
Robert Israel
  • 54.2k
  • 1
  • 76
  • 152

Note that $\left\lfloor \dfrac{\log x}{\log t} \right\rfloor = n$ for $x^{1/(n+1)} < t < x^{1/n}$, so if $m = \left\lceil \dfrac{\log x}{\log 2} \right \rceil$

$$ \eqalign{\int_{2}^x &\frac{dt}{\left\lfloor \frac{\log x}{\log t}\right\rfloor \log t} = \int_2^{x^{1/m}} \dfrac{dt}{m \log t} + \sum_{j=1}^{m-1} \int_{x^{1/(j+1)}}^{x^{1/j}} \dfrac{dt}{j \log t} \cr &= \frac{1}{m} \text{Ei}(1,-\log 2) - \text{Ei}(1,-\log x)+ \sum_{j=2}^{m} \frac{1}{j(j-1)} \text{Ei}(1,-\frac{1}{j} \log x) \cr}$$

You might also note that $$ \frac{x^{1/j} - x^{1/(j+1)}}{\log x} \le \int_{x^{1/(j+1)}}^{x^{1/j}} \dfrac{dt}{j \log t} \le \frac{j+1}{j} \frac{x^{1/j} - x^{1/(j+1)}}{\log x} $$

so using these bounds for all $j > N$ and the exact values for $j \le N$ will give you approximations with relative error at most $1/N$.

Note that $\left\lfloor \dfrac{\log x}{\log t} \right\rfloor = n$ for $x^{1/(n+1)} < t < x^{1/n}$, so if $m = \left\lceil \dfrac{\log x}{\log 2} \right \rceil$

$$ \eqalign{\int_{2}^x &\frac{dt}{\left\lfloor \frac{\log x}{\log t}\right\rfloor \log t} = \int_2^{x^{1/m}} \dfrac{dt}{m \log t} + \sum_{j=1}^{m-1} \int_{x^{1/(j+1)}}^{x^{1/j}} \dfrac{dt}{j \log t} \cr &= \frac{1}{m} \text{Ei}(1,-\log 2) - \text{Ei}(1,-\log x)+ \sum_{j=2}^{m} \frac{1}{j(j-1)} \text{Ei}(1,-\frac{1}{j} \log x) \cr}$$

Note that $\left\lfloor \dfrac{\log x}{\log t} \right\rfloor = n$ for $x^{1/(n+1)} < t < x^{1/n}$, so if $m = \left\lceil \dfrac{\log x}{\log 2} \right \rceil$

$$ \eqalign{\int_{2}^x &\frac{dt}{\left\lfloor \frac{\log x}{\log t}\right\rfloor \log t} = \int_2^{x^{1/m}} \dfrac{dt}{m \log t} + \sum_{j=1}^{m-1} \int_{x^{1/(j+1)}}^{x^{1/j}} \dfrac{dt}{j \log t} \cr &= \frac{1}{m} \text{Ei}(1,-\log 2) - \text{Ei}(1,-\log x)+ \sum_{j=2}^{m} \frac{1}{j(j-1)} \text{Ei}(1,-\frac{1}{j} \log x) \cr}$$

You might also note that $$ \frac{x^{1/j} - x^{1/(j+1)}}{\log x} \le \int_{x^{1/(j+1)}}^{x^{1/j}} \dfrac{dt}{j \log t} \le \frac{j+1}{j} \frac{x^{1/j} - x^{1/(j+1)}}{\log x} $$

so using these bounds for all $j > N$ and the exact values for $j \le N$ will give you approximations with relative error at most $1/N$.

Source Link
Robert Israel
  • 54.2k
  • 1
  • 76
  • 152

Note that $\left\lfloor \dfrac{\log x}{\log t} \right\rfloor = n$ for $x^{1/(n+1)} < t < x^{1/n}$, so if $m = \left\lceil \dfrac{\log x}{\log 2} \right \rceil$

$$ \eqalign{\int_{2}^x &\frac{dt}{\left\lfloor \frac{\log x}{\log t}\right\rfloor \log t} = \int_2^{x^{1/m}} \dfrac{dt}{m \log t} + \sum_{j=1}^{m-1} \int_{x^{1/(j+1)}}^{x^{1/j}} \dfrac{dt}{j \log t} \cr &= \frac{1}{m} \text{Ei}(1,-\log 2) - \text{Ei}(1,-\log x)+ \sum_{j=2}^{m} \frac{1}{j(j-1)} \text{Ei}(1,-\frac{1}{j} \log x) \cr}$$