What exactly is your question? You have just made a statement about max!
In the proof, by letting the author insures both the previous conditions will remain true.
i know that the fundamental law is using maximum in the red marked areas
they use MIN because its 1/expression