theorem Seqs4: :: MOEBIUS3:66

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