>>289
無理数はまさしく真の値は求められないだろ？
それこそスパコンで何兆桁求めたとかニュースになるけど、それでも近似値でしかない。
証明はあくまで存在を保証するだけ。