formula_8とし、"μ" をルベーグ測度とし、"f" を値がゼロであるような定数関数とする。