states that the arithmetic mean of a list of non-negative real numbers is greater than or equal to the geometric mean of the same list
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).