Title: A history of pi