ChatPGTくん、円周率が3以上であることを完璧に証明する