maximum' ( integer : remainingIntegers )

 =  integer `max` (maximum' remainingIntegers)
maximum' ( integer : remainingIntegers )

 =  integer `max` (maximum' remainingIntegers)
maximum' ( integer : remainingIntegers )

 =  integer `max` (maximum' remainingIntegers)