theorem Th32: :: BASEL_2:32

Sum Basel-seq = (PI ^2) / 6