とすると√2やπはどういう立場になるの?
長くないなら証明書いてみてよ