Tight closure/Relation to Hilbert-Kunz multiplicity/Fact