(*)を0から1まで積分し、(**)とarctan 1＝を用いると、を含んだ目的の積分値を得る。