Tight closure/Relation to Hilbert-Kunz multiplicity/Fact

Let be an analytically unramified and formally equidimensional local noetherian ring of positive characteristic, let be an -primary ideal. Let .

Then