>>189
L はリストの長さだから，全く交換が許されないとしても O(log L) はかかる．

L が小さいときは全然単調じゃなくなって線型探索したほうが早くなる（かもしれない）
けど，O 表記は漸近的に大きいときの挙動をあらわすので関係ない．