xV(x)Upper bound V̄(x)True V(x)Lower bound V̲(x)V̲(x) ≤ V(x) ≤ V̄(x)