In order to create RealNumbers.pdf you need to do the following steps.

• Install LaTeX/TeX on your computer.
• Clone this repositry
  git clone https://github.com/mathhobbit/Real_numbers.git
• Clone the repository [ElegantPaper](https://github.com/ElegantLaTeX/ElegantPaper)
  git clone https://github.com/ElegantLaTeX/ElegantPaper.git
• Copy the content of "ElegantPaper" directory into the directory "Real_Numbers". On Unix it will be
  cp -r ElegantPaper/*   Real_numbers/
• Change the directory to "Real_numbers" and execute
  xelatex RealNumbers.tex