ランダウの記号だろ。

数列の数値の上がりや下がりがなんども激しくあれば、1に到達するまでの
数列の長さの2巾によってM(x)を押さえるというのは、あまりにも評価が
甘すぎる気がする。