Sergio’s job is just a few bus stops away from his house. While it can be faster to take the bus to work, it’s more variable, be
cause of variations in traffic. He estimates that the commute time to work by bus is approximately Normally distributed with a mean of 12 minutes and a standard deviation of 4 minutes. The commute time if he walks to work is also approximately Normally distributed with a mean of 16 minutes with a standard deviation of 1 minute. What is the probability that the bus will be faster than walking?