Compare the construction with the density bound

The finite examples do not settle the asymptotic density. A precise upper bound is still needed.

No sample report is included for this idea.