theorem Seqs1: :: MOEBIUS3:65

for n being Nat holds Reci-Sqf . n >= 0