Asymptotics for number of isomorphism types

Stream: Equational

[Stanley Burris]

Since idemprimal algebras are rigid, and almost all magmas are idemprimal, the number of isomorphism types of magmas on n elements is asymptotic to n^{n^2}/n!
Perhaps this adds some precision to the comment in section 1 of the blueprint about the number of isomorphism types growing more slowly than the number of magmas.