円周率が3.05より上であるってどうやって証明すればいいのか真面目にわからない