Max Operation is Associative

Theorem
The Max operation is associative:


 * $\max \left({\max \left({x, y}\right), z}\right) = \max \left({x, \max \left({y, z}\right)}\right)$

Thus we are justified in writing $\max \left({x, y, z}\right)$.

Proof
To simplify our notation:
 * Let $\max \left({x, y}\right)$ be (temporarily) denoted $x \overline \wedge y$

There are the following cases to consider:
 * $(1): \quad x \le y \le z$
 * $(2): \quad x \le z \le y$
 * $(3): \quad y \le x \le z$
 * $(4): \quad y \le z \le x$
 * $(5): \quad z \le x \le y$
 * $(6): \quad z \le y \le x$

Taking each one in turn:


 * $(1): \quad$ Let $x \le y \le z$. Then:


 * $(2): \quad$ Let $x \le z \le y$. Then:


 * $(3): \quad$ Let $y \le x \le z$. Then:


 * $(4): \quad$ Let $y \le z \le x$. Then:


 * $(5): \quad$ Let $z \le x \le y$. Then:


 * $(6): \quad$ Let $z \le y \le x$. Then:

Thus in all cases it can be seen that the result holds.

Also see

 * Min is Associative