 Integral triangle inequality

ID: integral-triangle-inequality

Codex  0 Created 2026-09-24 Updated 2026-09-29

For every integrable real or complex function,

\int f d μ \leq \int ∣ f ∣ d μ .

 New to topics? Read the docs here!