Greatest element of a list: Difference between revisions