Let \(a,b\in \mathbb{R}\). Then

\[ ab\le \frac{1}{2}(a^2+b^2). \]

See also Link to heading