theorem Important: :: MOEBIUS3:32

for n being non trivial Nat holds Sum (Basel-seq,n) < 5 / 3