Для всякой μ {\displaystyle \mu } -интегрируемой функции f {\displaystyle f} и любого R > 0 {\displaystyle R>0} имеем
μ ( x : | f ( x ) | ⩾ R ) ⩽ 1 R ∫ X | f ( x ) | μ ( d x ) {\displaystyle \mu (x:|f(x)|\geqslant R)\leqslant {\frac {1}{R}}\int _{X}|f(x)|\mu (dx)}
