Soon you will see a link here for the lower bound construction with geogebra.