3 ms·
Thanks for correcting my embarrassing error! It's too late to edit my comment, but indeed x4 is the lower bound.
by jpeanuts 7y ago
Thanks for correcting my embarrassing error! It's too late to edit my comment, but indeed x4 is the lower bound.