Description: The maximum of two functions is measurable. (Contributed by Mario Carneiro, 18-Jun-2014)