sinx/xの広義積分が収束する理由が書けなかった