∫[x=0,∞](dx/(1+x^4))=π/(2*(2^(1/2)))となることの証明の途中で>>634が出てきました。
(2)はなかったです。