probability for the normal distribution endpoint 6/7