Exercise 3.26: maximum