Find
supremum
at the top, after redirect (3 sec later).