theorem Seq3: :: MOEBIUS3:29

for n being Nat holds Sum (Reci-seq1,n,1) < 2 / 3