Methods involving semicontinuity and convergence; relaxation Existence theories mathematics