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