Did you know ... Search Documentation:
Function max/2