Intereting Posts

Medians of a triangle and similar triangle properties
The set consisting of all zero divisors in a commutative ring with unity contains at least one prime ideal
Field extensions with(out) a common extension
How best to explain the $\sqrt{2\pi n}$ term in Stirling's?
How do I solve inequalities of the form $\frac{ax}{b}\geq0$?
Catalan number – combinatoric
Show that $\forall (x,y)$ in the first quadrant: $\frac {x^2+y^2}{4}\leq e^{x+y-2}$
Catalan numbers – number of ways to stack coins
Fake homeomorphism between $R$ and $R^2$
Does a periodic function have to be bounded?
Number of positive, negative eigenvalues and the number of sign changes in the determinants of the upper left submatrices of a symmetric matrix.
Prove $\det(kA)=k^n\det A$
Determine the divisibility of a given number without performing full division
How many points in the xy-plane do the graphs of $y=x^{12}$ and $y=2^x$ intersect?
Are there nontrivial vector spaces with finitely many elements?

In David M. Burton’s book on Elementary Number Theory I have found the following words,

… The first demonstrable progress toward comparing $\pi(x)$ with $\dfrac {x}{\ln x}$ was made by … P. L. Tchebycheff…, he proved that there exist positive constants $a$ and $b$ with $a$ $<$ $1$ $<$ $b$ such that-

$$\dfrac{ax}{\ln x} < \pi(x) < \dfrac{bx}{\ln x}$$For all sufficiently large $x$

- Starting with $\frac{-1}{1}=\frac{1}{-1}$ and taking square root: proves $1=-1$
- Is ${\sqrt2^{\sqrt2^{\sqrt2^{\sqrt2^\sqrt2}}}}^{…}=4$ correct?
- How do I find a flaw in this false proof that $7n = 0$ for all natural numbers?
- Possible fake proof of $1= -1$
- An outrageous way to derive a Laurent series: why does this work?
- A contradiction involving exponents

Tchebycheff also showed that if there exists a limit of $\displaystyle\dfrac{\pi(x)}{\dfrac {x}{\ln x}}$ then it must be $1$.

Suppose now I have proved that the sequence $u_n$ $=$ $\displaystyle\dfrac{\pi(n)}{\dfrac {n}{\ln n}}$ is strictly decreasing for all sufficiently large $n$ and therefore has a limit (since a strictly decreasing sequence of positive numbers which is bounded below has a limit, more precisely its infimum). If I now attempt to conclude that since by Tchebycheff’s result if there exists a limit of $\displaystyle\dfrac{\pi(x)}{\dfrac {x}{\ln x}}$ then it must be $1$, we must have, $$\lim_{n \to \infty} \dfrac{\pi(n)}{\dfrac {n}{\ln n}} = 1$$

Where would I be wrong?

Noting that the function $f(x)= \dfrac {x}{\ln x}$ is strictly increasing, I now intend to give a proof of the result that the sequence $u_n$ $=$ $\displaystyle\dfrac{\pi(n)}{\dfrac {n}{\ln n}}$ is strictly decreasing for all sufficiently large $n$.

We proceed by considering the following cases,

**Case 1**

In this case our assumption will be $\pi(n+1)=\pi(n)$.

It immediately follows that $u_n$ $>$ $u_{n+1}$.

**Case 2**

Now assume that $\pi(n+1)=\pi(n)+1$.

Notice that,

$$\dfrac{\pi(n)}{\dfrac{n}{\ln n}} > \dfrac{\pi(n)+1}{\dfrac{n+1}{\ln (n+1)}} \implies \dfrac{\pi(n)(n+1)}{\ln (n+1)} > \dfrac{n(\pi(n)+1)}{\ln n}$$ Which in turn implies that, $$n^{\displaystyle(1+\dfrac{1}{n})(1-\dfrac{1}{\pi(n)+1})}>(n+1)$$

which is obvious for all sufficiently large $n$.

- Show that if $B \subseteq C$, then $\mathcal{P}(B) \subseteq \mathcal{P}(C)$
- Is it wrong to say $ \sqrt{x} \times \sqrt{x} =\pm x,\forall x \in \mathbb{R}$?
- The series $\sum_{n=1}^\infty\frac1n$ diverges!
- Prove that there is an irrational number and a rational number between any two distinct real numbers
- A subsequence of a convergent sequence converges to the same limit. Questions on proof. (Abbott p 57 2.5.1)
- Proposed proof of analysis result
- Invariance of subharmonicity under a conformal map
- Are there always at least $3$ integers $x$ where $an < x \le an+n$ and $\gcd(x,\frac{n}{4}\#)=1$
- Counting $x$ where $an < x \le (an+n)$ and lpf($x$) $ \ge \frac{n}{4}$ and $1 \le a \le n$
- i need help please help me nonlinear partial differential equations

The sequence $u_n = \frac{\pi(n)}{ \frac{n}{\ln n} }$ is not strictly decreasing for all $n > e^{e^2}$. This is straightforward to check using WolframAlpha. We have $1619 > e^{e^2}$ and $u_{1619} \approx 1.168$ while $u_{1621} \approx 1.171$. More generally I would guess that for $p$ a sufficiently large prime $u_p$ is greater than $u_{p-1}$, so the sequence should never be eventually strictly decreasing.

- Derivative of a vector with respect to a matrix
- The map $\lambda: H^*(\tilde{G}_n)\to H^*(\tilde{G}_{n-1})$ maps Pontryagin classes to Pontryagin classes; why?
- A new combinatorics identity— similar to Catalan number
- Reverse Markov Inequality for non-negative unbounded random variables
- Prove positive definiteness
- Proving $(A \triangle B)\cup C = (A\cup C)\triangle (B\setminus C)$ using set algebra
- Algorithm for constructing primes
- How do you calculate a sum over a polynomial?
- Solve for positive integers: $\frac{4}{13}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}$
- For a continuous function $f$ and a convergent sequence $x_n$, lim$_{n\rightarrow \infty}\,f(x_n)=f(\text{lim}_{n \rightarrow \infty} \, x_n)$
- Continuity of one partial derivative implies differentiability
- Prove that $a+b$ is a perfect square
- Number of all bijective functions from A to A.
- Vague definitions of ramified, split and inert in a quadratic field
- Given $X$ and $Y$ are independent N(0,1) random variables and $Z = \sqrt{X^2+Y^2}$ from the marginal pdf of $Z$