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 pr

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.