Integral triangle inequality (source code)

= Integral triangle inequality

For every integrable real or complex function,
$$
\left|\int f\,d\mu\right|\leq\int|f|\,d\mu.
$$