for n being Nat holds Basel-seq . n = 1 / (n ^2)