Toon aan dat
een natuurlijk getal is als en slechts als
voor een zeker natuurlijk getal .
Stel en . Dan is en . Er is gegeven dat voor een zekere , dus . En we zijn klaar.
Edit: of dan toch bijna. Dat was de ene implicatie. Nu aannemen dat en daaruit afleiden dat . Klaar.
Oplossing
Stel
en
. Dan is
en
. Er is gegeven dat
voor een zekere
, dus
. En we zijn klaar.
Edit: of dan toch bijna. Dat was de ene implicatie. Nu aannemen dat
en daaruit afleiden dat
. Klaar.