Es sei
die Menge aller Zweierpotenzen. Definiere eine Bijektion
derart, dass k ≤ n {\displaystyle {}k\leq n}