lịch sử phát hiện số pi