Greatest lower bound in Q
62224
Need help with proof for Dedekind cuts on $\mathbb{Q}^+$
46550
Proving an 'obvious' Ramsey upperbound
127102
Upper bound for $\sqrt[n]{n!}$
131536
Maximum and minimum restricted
2708
Inequality ${n \choose k} \leq \left(\frac{en}{ k}\right)^k$
115850
Minimum of $|ax-by+c|$
115533
Inequality for small values of $t$
10902
Showing that $ \prod\limits_{i=0}^{n} {n \choose i}\leq(\frac{2^n-2}{n-1})^{n-1} $
67161
No maximum(minimum) of rationals whose square is lesser(greater) than $2$.
36325
Embedding ordinals in $\mathbb{Q}$
7974
lim sup inequality $\limsup ( a_n b_n ) \leq \limsup a_n \limsup b_n $
102202
The smallest infinity and the axiom of choice
108588
Improving bound on $\sqrt{2 \sqrt{3 \sqrt{4 \ldots}}}$
112486
Bounds on a sum of gcd's
116811
Proofs with limit superior and limit inferior: $\liminf a_n \leq \limsup a_n$
152856
Using $p\supset q$ instead of $p\implies q$
108971
Finding the limit of $\sqrt[n]{{kn \choose n}}$