Big O notation
と振る舞う。但し、 はランダウの記号であり、 は初期状態での期待値 を表すものとする。また、