0
Would it be useful to have tags for common proof-techniques? I thought about this when reading a question like this: how to strictly prove $\sin x<x$ for $0<x<\frac{\pi}{2}$. Lots of inequalities of this type can be proved by writing them as $f(x) \geq 0$ for $x \in [a,b]$ for some real valued s...