x^2 - 16 ≤ 0