Exchange hole, correlation inequality, Lieb-Oxford inequality, Kohn-Sham equations