n→∞となっていますが、∞以外の場合も成り立ちます。

検索用コード