Upper semi-continuity of the Hilbert–Kunz multiplicity. (2nd February 2016)