X - 1 ≥ 2