crucially relax a lower bound