Bataihah, A. A Minimizing Sequence Proof of the Banach Fixed Point Theorem. Stat., optim. inf. comput. 2025.