https://123dok.net/document/q7w70lno-lower-semicontinuity-span-class-mathjax-formula-infty-functionals.html