https://123dok.net/document/y8g7lv65-purely-analytical-lower-bound-span-class-mathjax-formula.html