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