theorem Th38: :: REAL_3:38

for n being Nat
for r being Real st n >= 1 holds
(scf r) . n >= 0