1: \begin{abstract}

2:   The Discrete Gaussian model is the lattice Gaussian free field conditioned to be integer-valued.

3:   In two dimensions, at sufficiently high temperature,

4:   we show that its macroscopic scaling limit on the torus

5:   is a multiple of the Gaussian free field.

6:   Our proof starts from a single renormalisation group step after which the integer-valued field

7:   becomes a smooth field which we then analyse using the renormalisation group method.

8:   

9:   This paper also provides the foundation for the construction of the scaling limit of the infinite-volume

10:   gradient Gibbs state of the Discrete Gaussian model in the companion paper.

11:   Moreover, we  develop all estimates

12:   for general finite-range interaction with sharp dependence on the range.

13:   We expect these estimates to prepare for  

14:   a future analysis of the spread-out version of the

15:   Discrete Gaussian model at its critical temperature.

16: \end{abstract}

17: