Ile liczb naturalnych mniejszych od
ma zapis dziesiętny, którego cyfry tworzą ciąg niemalejący?
Niech
będzie zbiorem liczb naturalnych mniejszych od
, mających zapis dziesiętny, którego cyfry tworzą ciąg niemalejący. Umówmy się w zapisie każdej z liczb zbioru
umieszczać tyle zer na początku, by łącznie zapis tej liczby miał
cyfr.
Niech
będzie zbiorem liczb naturalnych mniejszych od
mających zapis dziesiętny (z zerami na początku), którego cyfry tworzą ciąg niemalejący i w którym występuje każda z dziesięciu cyfr.
Każdemu zapisowi liczby zbioru
przyporządkujmy zapis, w którym każda cyfra
występuje o jeden raz więcej i cyfry tworzą ciąg niemalejący. Przyporządkowanie to określa odwzorowanie
zbioru
w zbiór
. Przy tym liczba
należąca do
nie odpowiada żadnej liczbie zbioru
.
Odwzorowanie
jest wzajemnie jednoznaczne; odwzorowanie do niego odwrotne polega na skreśleniu po jednej cyfrze każdego rodzaju w zapisie liczby zbioru
. Zatem liczba elementów zbioru
jest o
większa od liczby elementów zbioru
.
Zapis dowolnej liczby zbioru
składa się z
cyfr. Między kolejnymi cyframi jest więc
miejsc. Umówmy się w takim zapisie stawiać kreskę między cyframi, jeżeli są one różne. Kresek takich jest
, ponieważ różnych cyfr jest
i każda z nich występuje w zapisie liczby zbioru
.
Aby wyznaczyć liczbę elementów zbioru
zauważmy, że zapis liczby zbioru
jest jednoznacznie wyznaczony przez dowolne rozmieszczenie
kresek na
miejscach. Zatem zbiór
ma
elementów, a zbiór
ma
elementów.