Xác định số phần tử của tập hợp .
Tập hợp gồm các phần tử là những số tự nhiên nhỏ hơn
và chia hết cho
.
Từ đến
có
số tự nhiên, ta thấy cứ
số tự nhiên liên tiếp sẽ có duy nhất một số chia hết cho
. Suy ra có
số tự nhiên chia hết cho
từ
đến
. Hiển nhiên
.
Vậy có tất cả số tự nhiên nhỏ hơn
và chia hết cho
.