Theorem T42 ∑k=1∞1k2=π26\sum_{k=1}^\infty \frac{1}{k^2} = \frac{\pi^2}{6} k=1∑∞k21=6π2 notation-real-infinite-summation number-pi