>>162
ttp://w3e.kanazawa-it.ac.jp/math/category/kika/heimenkika/naisinn.html
に証明がのってたよん
このページで↑i=↑0とすればおk