この時の
また、インデックス
許容インデックス
で定義される実数をインデックス
インデックス
また、あえてこのように表記することも可能である。
任意の許容インデックス
を持つ。このときの
を
が成り立つ。
と定めると、等式
まず対数関数
この級数は
を得る。これは
このとき、上の式の左辺は
と変形できるから
を得るから
が(比較的容易に)わかる。
先ほどの式
の両辺を
を得る(これは
となる。これは
は収束し、
以下、同様にして
よって、
双対インデックスの定義より、
また、
である。ここで変数変換