>>1を越えないのが条件な