[alcover]

Thanks for the link.

  we obtain 4.00253176 as a certified lower bound

How intringing it's strictly just above 4 !

Maybe it has to do with symmetries. The proportion of symmetric polys in successive generations goes towards zero. I suspect that this 'pollutes' the asymptot.

About published research, I just glanced at the little I found, (as I often can't do more than glance, being limited in Maths.)

Also I prefer to go at it naively first.