for F being sequence of ExtREAL st ( for n being Element of NAT holds F . n in REAL ) holds
for n being Nat holds (Ser F) . n in REAL