Lévy's characterization of Brownian Motionの証明の途中で疑問があったらしい。連続局所マルチンゲールで、その二次変分がtで与えられるとき、このprocessは二乗可積分マルチンゲールになるという部分。二乗可積分であることは、二次変分が任意の時点で有…