Diophantine approximation of pi proof. Bianchi 2021. AGP procedure. Memorial coliseum renovation cost.