  We show that the Hilbert-Kunz multiplicities of the reductions to positive
characteristics of an irreducible projective curve in characteristic 0 have a
well-defined limit as the characteristic tends to infinity.
