Real non negative numbers/Maximum/Structural properties/Exercise