Given that some normally distributed data has a mean of 857.518 and a standard
deviation of 113.181. What is the probability that a randomly sampled datapoint wil
be greater than 1007.174?