On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function
Listed in
This article is not in any list yet, why not save it to one of your lists.Abstract
This research article provides an unconditional proof of an inequality proposed by \textit{Srinivasa Ramanujan} involving the Prime Counting Function $\pi(x)$, \begin{align*} (\pi(x))^{2}<\frac{ex}{\log x}\pi\left(\frac{x}{e}\right) \end{align*} for every real $x\geq \exp(547)$, using specific order estimates of the \textit{Mertens Function}, $M(x)$. The proof primarily hinges upon investigating the underlying relation between $M(x)$ and the \textit{Second Chebyshev Function}, $\psi(x)$, in addition to applying the meromorphic properties of the \textit{Riemann Zeta Function}, $\zeta(s)$ with an intention of deriving an improved approximation for $\pi(x)$.