For an HCP crystal with a given value of the lattice constant a, derive the formula for the smallest possible value of the lattice constant c. Hint: The c value is the smallest when the distance from some atom to its nearest neighbors within the same hexagonally-packed layer equals the distance to its nearest neighbors belonging to a different layer.