Example 7.10 from Statistics, 7.3 Using the Central Limit Theorem
Work it out on paper first. Then open the solution one step at a time, and stop as soon as you can finish on your own.
normalcdf
How did it go?