added motivation for Banach's fixpoint theorem