赤線の不等式を分けて説明します。
2a+5≦7であり、2a+5<7でないのは、
=7が入ると①式は、x<2a+5=7、つまり、x<7となるからxの最大整数6になるから正しい。したがって、2a+5≦7となる。
6<2a+5であり、6≦2a+5でないのは、
=6が入ると①式は、x<2a+5=6、つまり、x<6となるからxの最大整数5になってしまうからダメ。したがって、こちらは6<となる🙇
繰り返しになりますが、
2a+5=7なら、①式はx<7となるから、最大整数6になるから不等式を満たすということ🙇
すみません「つまり、x<7となるから」とはどういうことですか?