>>481
意味を考えたらほぼ明らかだろ。
∪[k=0,n]{T(i)=k}={T(i)≦n}
で、nを∞に飛ばしたと考えてもいい。