It's not ad infinitum on finite lists though, that's the point. If you want that property to hold, then maximum [] has to be -inf.