[ Sequence ] maximum

☞ x ≔ Sequence ← 8 ; 4 ; 2 ; 16.
☞ y ≔ x maximum.
✎ write: y, stop.
16