Direct method in the calculus of variations
= Direct method in the calculus of variations
{wiki}
The direct method takes a minimizing sequence, extracts a subsequence using compactness, and uses lower semicontinuity to show that its limit attains the infimum.