for F being sequence of ExtREAL st F is V99() holds
for n being Nat holds F . n <= (Ser F) . n