The paper presents some theorems about fixed points of nonexpansive mappings certain convex subsets Banach spaces, aswell as examples applications these theorems, among others, to justify the correctness square roots approximation process in Heron’s algorithm (from 1st century AD).
