The π Formula That Took 73 Years to Prove