The mathematical world is as full of lonely pi's, as it is of 2*pi's. Now we need to move to tau/2 and tau, only to get a pi-manifesto in a couple of decades. Previous discussions: http://news.ycombinator.com/item?id=1468341 http://news.ycombinator.com/item?id=2322666
I like the compromise of using Tau and its fractions when it makes sense and using a single Pi when it's not so intuitively-connected with a circle. e.g. \int_{-\infty}^{\infty} e^{−x^2} dx = \sqrt{\pi}. Plus Tau Day's a fun excuse to eat two pies.
How to derive the value of the integral: Square the integral to make it an integral in two variables, introduce polar coordinates, then change variables.