>>194
E[k,n]={x∈E:|f[j](x)-f(x)|<1/n,j>k}
の意味は、

kより大きいすべての j に対して　|f[j](x)-f(x)|<1/n　が成り立つような x の全体

だろ。そうしたら当然 k+1 より大きい j に対しても成り立つのは当然じゃん