Maximum Of A Single Element List
maximum value in stack [ x, [ ] ] = x
If the list contains a single element, then the maximum value is the single element. This is the base case for maximum value proofs.
Examples
maximum value in stack [ 1, [ ] ] = 1
maximum value in stack [ 1248, [ ] ] = 1248
Comments
Please log in to add comments