Corrected lower bound on either