Lengths of steel pins are intended to be $0\mathrm{.}5$ long, however production becomes concerned if parts are over

specifications. They measured $405$ parts and found the average to be $0\mathrm{.}5002.$ The parts have a known $0\mathrm{.}0026$

standard deviation