0 ≥ x
2K