New posts in Proof Writing

On Ramanujan's approximation, $n!\sim \sqrt{\pi}\big(\frac ne\big)^n\sqrt [6]{(2n)^3+(2n)^2+n+\frac 1{30}}$

Is it valid to use operations on both sides before inequality is proven?

Is this a good enough proof by induction?

Proof that the roots of $\mathrm e^{-πx}=\sin πx$ approach integers as $x\to \infty$

On Mathematical Induction

Can I solve this other than using Newton's sums or Newton's identities?

On proving that $\sum\limits_{n=1}^\infty \frac{n^{13}}{e^{2\pi n}-1}=\frac 1{24}$

When proving a biconditional, how to say the "I'll prove left-to-right first" in words?

Sum of magnitudes of coefficients of polynomial $(x-1)(x-2)(x-3)\cdots(x-(n-1))$

Proof by induction:$\frac{3}{5}\cdot\frac{7}{9}\cdot\frac{11}{13}\cdots\frac{4n-1}{4n+1}<\sqrt{\frac{3}{4n+3}}$