The lower bound had already been established in prior work: https://zenodo.org/records/18568303