Improved average-case lower bound.