Maximum of the integer-valued Gaussian free field

We investigate the order of the maximum of the integer-valued Gaussian free field in two dimensions, and show that it grows logarithmically with the size of the box. Our treatment follows closely that of a recent paper by Kharash and Peled on the Fr"{o}hlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition.