The principle has been shown to be equivalent to completeness of metric spaces.[5]
In proof theory, it is equivalent to Π1 1CA0 over RCA0, i.e. relatively strong.
^Ekeland, Ivar; Temam, Roger (1999). Convex analysis and variational problems. Classics in applied mathematics. Vol. 28 (Corrected reprinting of the (1976) North-Holland ed.). Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). pp. 357–373. ISBN0-89871-450-8. MR1727362.
^ abKirk, William A.; Goebel, Kazimierz (1990). Topics in Metric Fixed Point Theory. Cambridge University Press. ISBN0-521-38289-0.