>>35

xをTnの連続点とすし、εを任意の整数とする。
Pr{Tn<=x}=Pr{Tn<=x, |Sn-Tn|<ε}+Pr{Tn<=x, |Sn-Tn|>=ε}