On pouvait aussi utiliser un argument combinatoire et parvenir au même résultat (sans calcul) en remarquant que si n est entier naturel, la définition du terme général Un est celle du
nombre de parties non vides d'un ensemble En = { 1,2,..., n } à n éléments.
En effet, si n=0 En est manifestement vide et il en est de même pour l'ensemble de ses parties non vides (donc U0 = 0), sinon, on se donne un ensemble En+1 et x un élément de En+1
qui ne soit pas dans En.
L'ensemble des parties non vides de En+1 est la réunion de l'ensemble des parties non vides de En+1 qui ne contiennent pas x (içi x=n+1) et de l'ensemble des parties non vides de En+1
qui contiennent x. Le nombre de parties non vides de En+1 qui ne contiennent pas x est le nombre de parties non vides de En donc Un. Enfin, l'ensemble des parties non vides de En+1
qui contiennent x est la réunion des parties { x } U X ou X est une partie, éventuellement vide, de En. Le nombre de ces parties est donc Un + 1. Finalement, le nombre de parties non
vides de En+1 est Un + Un +1 soit 2Un + 1.
Résultat classique de la théorie des ensembles, le nombre de parties d'un ensemble à n éléments (n >= 0) est 2^n, d'ou Un = 2^n - 1.