Comment Comment by 406380581 The lower bound had already been established in prior work: https://zenodo.org/records/18568303 parent 406380581 2 months ago
