Пусть

натуральные числа.
Требуется вычислить:

После вычислений для конкретных значений, выдвигаем гипотезу:

для всех натуральных

.
Также можно заметить, что если

, то

Числитель каждого слагаемого есть число

-подмножеств в

-множестве а знаменатель равен числу всех подмножеств

-множества. Возможно это поможет решить задачу без привлечения индукции и громоздких вычислений. Какие есть идеи господа?