Notes on the Hilbert–Kunz function

We note certain properties of the Hilbert–Kunz function and Hilbert–Kunz multiplicity, including a strengthened inequality between Hilbert–Kunz and Hilbert–Samuel multiplicities and a characterization of a mixed Hilbert function incorporating both ordinary and Frobenius powers of ideals.