Ja skaitļi \(a\) un \(b\) ir dažādi, tad ar \(\max (a, b)\) apzīmējam lielāko no tiem.

Dots, ka skaitļi \(x;\ y;\ z;\ t;\ x+z;\ y+t\) visi ir dažādi un

\[\max (x, y)+\max (z, t)=\max (x+z;\ y+t)\]