Also known as arc-cotangent irreducible number
positive integer n for which the greatest prime factor of n2 + 1 is greater than or equal to 2n
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).