(1)微分方程式
y’(x)+2x*y(x)-1 = 0
を満たす有理関数yは存在しないことを証明せよ.

(2) ∫cos(x^2+1)dx は初等関数では表現出来ないことを証明せよ.