配列を二分探索する時、典型的には「配列は更新されない」という条件がある。 更新されないことは十分条件だが必要条件ではない。更新してかつ二分探索するユースケースがある。 最長増加部分列 「xを超えない最大の値をxに更新」 これはソートされた状態を維持する