theorem :: MOEBIUS3:67

for n being Nat holds Basel-seq . n >= 0