Pith. sign in

REVIEW

On Proving Ramanujan's Inequality using a Sharper Bound for the Prime Counting Function π(x)

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2408.02591 v3 pith:JMBDDNP7 submitted 2024-08-05 math.NT

On Proving Ramanujan's Inequality using a Sharper Bound for the Prime Counting Function π(x)

classification math.NT
keywords inequalityramanujanfracfunctionproofunconditionallyabovealternate
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

This article provides a proof that the Ramanujan's Inequality given by, $$\pi(x)^2 < \frac{e x}{\log x} \pi\Big(\frac{x}{e}\Big)$$ holds unconditionally for every $x\geq \exp(43.5102147)$. In case for an alternate proof of the result stated above, we shall exploit certain estimates involving the Chebyshev Theta Function, $\vartheta(x)$ in order to derive appropriate bounds for $\pi(x)$, which'll lead us to a much improved condition for the inequality proposed by Ramanujan to satisfy unconditionally.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.