Consider the following operation on an arbitrary positive integer: If the number is even, divide it by two.
Ας εξετάσουμε την ακόλουθη λειτουργία για έναν αυθαίρετο θετικό αριθμό:  Αν ο αριθμός είναι άρτιος, τον διαιρούμε δια δύο.