A surveyor is measuring the distance between two remote objects with use of geodesic instruments from 25 different positions. The errors of different measurements are independent r.v.’s with zero mean and a standard deviation of 0.1 length units. Estimate the probability that the average of the measurements lies within 0.05 of the true distance.