Radial distribution function of a hard-sphere solid