F x max x y (22/48)

F x max x y