My first thought was "well of course it is, since pi is a little larger than 3" but it was cool to see an actual derivation of how much pi squared differs from

My first thought was "well of course it is, since pi is a little larger than 3" but it was cool to see an actual derivation of how much pi squared differs from 10 as a nice, closed form series.