あ、円周率は候補から外れたんだっけ

>>880
いいと思う