[jpeanuts]

Thanks for correcting my embarrassing error! It's too late to edit my comment, but indeed x4 is the lower bound.