I have an elementary question about the history of $\pi$. I thought the answer would be easy to find. But, to the contrary, after quite a bit of searching and after consulting math historians, I have been unable to find a satisfactory answer. Who first proved that $C/d$ is independent of the ...