× i −R R 実軸 上半平面の半円経路・弧の積分は R → ∞ で 0(ジョルダンの補題)