On the 8n²-inequality

We give a complete proof of the so called $8n^2$-inequality, a local inequality for the self-intersection of a movable linear system at an isolated centre of a non canonical singularity. The inequality was suggested and several times published by I.Cheltsov but some of his arguments are faulty. We explain the mistake and replace the faulty piece by a correct argument.