| http://www.w3.org/ns/prov#value | - Anyway, I didn't have to calculate, mainly because I remember this result from the first time I derived it, simply because I was so impressed by the fact that a sum involving the reciprocals of odd numbers can come out to be $\pi/4$, the sum had nothing to do with circles!
|
