>>776
で、円周率が3.1より大きいことは自明なのか証明が必要なのかどっち?