Sharpened lower bounds for cut elimination