# Proof of Banach-Caccioppoli theorem

Let $(X,d)$ be a complete metric space and let $f:X\to X$ be a mapping such that for each $n\ge1$, there exists a constant ${c}_{n}$ such that