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