x/2 >= 6
Vamos resolver em ℝ: x2 ≥ 6
x ≥ 6·2
▶Solução obtida: x ≥ 12