それなら
2*x<y
でいいんじゃないの?
trueなら一番左の1の位置は同じ