>>245
lim(n,m→∞)が実無限です。
n,m→∞という可能無限を
limで実無限に変換してるのです。