История числа ПИ