Also known as Fatou lemma
inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).