"mn" がマルチンゲールであれば、イェンセンの不等式より|"mn"|2は非負値劣マルチンゲールになる。