[renyicircle]

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.