最後に質問があるのですが
fk:E→R a∈R
lim sup fk(x) = inf_k (sup_j>=k fj(x)) (k→∞)

の書き換えがわからないのですが