Supremum and infimum of powers with rational exponents.
137511
Trying to show that $\sup \{b^p:p\in Q,\;0<p<x\} = \inf\{b^q:q\in Q,\;x<q\}$
140817
Real Analysis Inequality Proof Involving Reals and Rationals $0 < |r - q| < \varepsilon$
104602
asymptotic of $x^{x^x} = n$
149549
Infimum of $n$-th root of $n$
50555
Approximation of real number to the power of irrational
139897
Simplify with fractional exponents and negative exponents
22687
Proof of the power rule for logarithms
96931
Supremum and infimum of $\{\frac{1}{n}-\frac{1}{m}:m, n \in \mathbb{N}\}$
10902
Showing that $ \prod\limits_{i=0}^{n} {n \choose i}\leq(\frac{2^n-2}{n-1})^{n-1} $
143819
Supremum of $\sqrt{n} -\left\lfloor\sqrt{n}\right\rfloor $
31295
$x+y\sqrt{2}$ infimum ($x,y\in \mathbb{Z}$)
75373
Show that $2^n>n$ for $n\in \mathbb{N}$
3109
Prove that $(p+q)^m \leq p^m+q^m$
118244
An $n$th root inequality: $\sqrt[n]{n} < 1 + \sqrt{2/n}$
10008
Proof that the nth root of a rational s/t is irrational unless s and t are perfect nth powers
77026
Proof with inequalities
143130
Proving that the supremum of $(a,b)$ is $b$.