>>201
円周率なら定数であることはかなり昔から知られている。