Choose the affine trial function . It has the required trace and constant gradient, so the Dirichlet principle gives
For the macroscopic isotropic effective medium, the corresponding affine-boundary energy is . Dividing by for a nonzero imposed gradient yields the Voigt bound
More generally the same calculation is the tensor inequality in the Loewner order . For a finite unresolved specimen the calculation bounds its apparent affine-boundary response; identification with the bulk effective conductivity uses the macroscopic scale separation.