Density Distribution in a Hard-Sphere Crystal