Exercício 11. Sejam
. Mostre que:
e
, então
.
Passo 1
O enunciado diz que
e
em
e pede para mostrar que
. O conteúdo que vamos usar é a compatibilidade da ordem com a multiplicação nos inteiros.
Passo 2
Lembremos do axioma de ordem para inteiros: se
e
, então
Passo 3
Aplicamos esse axioma com
,
e
. Como
e
, obtemos
Passo 4
Sabemos que
para todo
. Logo