Title: Detailed proof of Nazarov's inequality,
Abstract: The purpose of this note is to provide a detailed proof of Nazarov's
inequality stated in Lemma A.1 in Chernozhukov, Chetverikov, and Kato (2017,
Annals of Probability).