>>459
N=2^20でも同じなんだから当然Nによらずおさえられている

X=2^(k-1)とするとL=X-1のときは
[X-1,X)でtrue→[X-1,X+1]でfalse(下降開始)
でR=X