The amount of time needed to paint a house decreases as the number of painters increases.