The derived category analogue of the Hartshorne-Lichtenbaum vanishing theorem