>>14
積分使わずに証明できればおｋ。
実は背理法により可能。