设 $f$ 为 $E \subset \mathbb{R}^n$ 上的 Lebesgue 可测函数，$m(E) < +\infty$ ．证明：
$f^2$ 为 $E$ 上的 Lebesgue 可积函数 $\Leftrightarrow \sum_{k=1}^{\infty} k \cdot m(\{x \in E| | f(x) \mid>k\}) < +\infty$ ．如果 $m(E)=+\infty$ ，举例说明充分性不成立。