21: Ověření, že {bk} tvoří klesající posloupnost:

Pak platí následující odhad:

Výsledek