x<b=(a+1)/2 の状況で対偶を考えると
4≦x → 4≦x<b→4<b
∴ b≦4 → x<4