Description: A bounded function times an integrable function is integrable. (Contributed by Mario Carneiro, 12-Aug-2014)