>>544
3000がどの群に含まれているのかを探しているだけだから、ある群の中にあることを示せればそれでいい
なのでその群のさらに狭い範囲の中にあることが示せればその群に含まれることが示せる
第12群は2^11≦a＜2^12である整数全体だから2^11＜b＜2^12である整数は必ず第12群に含まれている

2^11≦3000＜2^12と書いても構わないけど