What is history of pai in mathematics?