Suppose that pulse rates among healthy adults are normally distributed with a mean of beats/second and a standard deviation of beats/second. What proportion of healthy adults have pulse rates that are at most beats/sec? Round your answer to at least four decimal places.