上の評価式の等号は、"f" ＝ 1がほとんど全ての[μ]で成り立つ時に成立する。