OFFSET
1,2
COMMENTS
a(9) >= 17. For n >= 10, a(n) >= n + 2. a(n) <= n^(3n) for all n.
REFERENCES
G. Gratzer, General Lattice Theory. Birkhäuser, Basel, 1998, 2nd edition, p. 72.
CROSSREFS
KEYWORD
nonn,hard,more,nice
AUTHOR
David Wasserman, Mar 05 2002
STATUS
approved