>>515
√πは、無理数は有理数で決められる切断で定義可能じゃないだろが