線形
非負関数は非負
0に各点収束する関数列は0
これが積分