theorem Tele1: :: MOEBIUS3:26
for n being Nat holds Reci-seq1 . n = (1 / (n - (1 / 2))) - (1 / (n + (1 / 2)))