「関数y=x^2」が最大値を持たないことを、背理法によって証明せよ