We show that the holomorphic Morse inequalities proved by Tian and the author [8, 9] are in effect equalities by refining the analytic arguments in [8, 9].