Solution
= Solution
An admissible $\bar u$ is a <global minimizer> if
$$
\boxed{I(\bar u)\leq I(v)\quad\text{for every }v\in\mathcal A.}
$$
In particular it attains the <infimum>; no closeness condition on competing admissible functions is imposed.