どう考えても7<logx<8でいいだろ

7≦logx<8が正しくないとは言えないが、
わざわざこう書く必要もない