Talk:Triangle Inequality for Integrals

A short comment that $\int \text{Im} (\alpha f) = \text{Im} \left(\int \alpha f\right)$ vanishes by definition of $\alpha$ would be great. Correct nontheless.