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