5 ms·

inf sup is a decreasing function. Cheers!