Least upper bound of $A*B$
7112
Product of sets and supremum
27356
Lower bound on proof length
28006
The minimum of two independent geometric random variables
51347
Prove that $|a|\leq \max\{|b|,|c|\}$ if $b\leq a \leq c$
153831
Approximating $\pi$ with least digits
96927
Modus Operandi. Formulae for Maximum and Minimum of two numbers with a + b and $|a - b|$
51671
lower bounding logarithm of sums
7974
lim sup inequality $\limsup ( a_n b_n ) \leq \limsup a_n \limsup b_n $
102817
$A,B\in M_{n}(\mathbb{R})$ so that $A>0, B>0$, prove that $\det (A+B)>\max (\det(A), \det(B))$
138304
getting tight bounds on n!
106316
Finding a bound on the maximum of the absolute value of normal random variables
96673
Prove central binomial coefficient upper bound
59396
Show that the rank of $A+B$ is no more than the sum of the ranks of $A$ and $B$
15730
Determine the minimum of $a^2 + b^2$ if $a,b\in\mathbb{R}$ are such that $x^4 + ax^3 + bx^2 + ax + 1 = 0$ has at least one real solution
93076
When $\min \max = \max \min$?
29849
How can I show that $\sup(AB)\geq\sup A\sup B$ for $A,B\subset\mathbb{R}$ where $A\cup B$ is positive and bounded?
131559
Lower Bound of Central Binomial Coefficients