a(x) = x^(2) - (4 * x) + 3 ≥ 0
b(x) = x^(2) - (4 * x) ≤ 0