Construção de números reais, um exercício

Neste exercício, aplicaremos o algoritmo de construção de números reais visto em aula (cortes de Dedekind) para construir a raiz quadrada de um número inteiro dado a .

Escolha o número a abaixo: