解決がないのだと悟れば、そのあとは悩むだけ無駄である

悩み苦しむというのは、解決があるかもしれないからだろう
解決がないのだと悟れば、そのあとは悩むだけ無駄である

答えが見つかったわけではない
答えは見つからないだろうと結論が出ただけである
それで十分だ

πが無理数であることを証明するには
実際の数字を出すと考えると途方も無いことになるが
無理数であることを証明するだけなら
短い時間で終わる
そんな感じだ