 Exact variational solution in a two-level system

If a normalized trial family covers the entire two-dimensional Hilbert space, minimizing its Rayleigh quotient gives the exact lower eigenvalue rather than merely an upper bound.