Eseguendo dei passaggi logici di equivalenza possiamo scrivere:

Cioè:

E quindi:

Pertanto n deve essere uguale a 7 perchè è il più grande numero naturale minore 8.