maxy⁡x