Banach fixed-point theorem

beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man beware pie man