G(x) = integrate from 1 to x of (2t - 1) dt を定義します。 明示的に G(x) を計算し、 であることを検証し、 と を評価します。