Whether we have
n,n/2 or
(n−2)/2 only matters for small values of
n. We get
e on the right for large
n in any of these cases.
If I use
π0(x)=x/log(x) then I get
e on both sides for
n→∞, as before. Your formula
π1(x)=log(x)−e1/log(x)1 is more or less identical to
x/log(x) and has the same behavior for very large values of
x. This means that there are two possibilities: a) We need a theoretical explanation of where this correction term in the denominator comes from, or b) your formula is a better approximation than the known ones for small values of
x.
Let us set
c=elog(x)1. Then the ratio between your and the known formula is
π0(x)π1(x)=1−log(x)c1 which converges to one, i.e. the relative error of your formula becomes marginal. However, if we calculate the difference between both formulas, then we get
π1(x)−π0(x)=log(x)(log(x)−c)x⋅c∼log2(x)x for large values of
x. Hence, the absolute error becomes larger and larger.
There is a nice list of actual values from
x=10 to
x=1029 on Wikipedia. I will link the German version (scroll to the right) because it also contains a column for a fixed value of
c=1.08366 which corresponds to roughly
e1/log(250,000). The English version is similar, but without
π2(x)=log(x)−1.08366x and without links to
https://oeis.org/ where the data were taken from. These data should give you a comparison with your function. Note that the decimal separating signs in German are the other way around:
Engl.:84,367.12345Germ.:84.367,12345
de.wikipedia.org