New posts in Upper Lower Bounds

Proving $(λ^d + (1-λ^d)e^{(d-1)s})^{\frac{1}{1-d}}\leq\sum\limits_{n=0}^\infty\frac1{n!}λ^{\frac{(d^n-1)d}{d-1}+n}s^ne^{-λs}$

Growth rate of the nth natural number not constructable with n steps of addition and multiplication

$\sum_{n=1}^{\infty}\frac{1}{n^2} <\frac{33}{20}$ using elementary inequalities

Simplest way to get the lower bound $\pi > 3.14$

Milton Green's lower bounds of the busy beaver function

Upper Bound vs. Least Upper Bound

Rudin Theorem $1.11$