x/2 >= 6
Let's solve in ℝ: x2 ≥ 6
x ≥ 6·2
▶Solution obtained: x ≥ 12