A Minimizing Sequence Proof of the Banach Fixed Point Theorem. Stat., optim. inf. comput. 2025;15(1):506-515. doi:10.19139/soic-2310-5070-2991