A stationary point theorem characterizing metric completeness

We give a stationary point theorem for some set-valued mappings on a metric space. The existence of fixed points of such mappings characterizes the metric completeness. Our result easily yields the order-theoretic Cantor theorem of Granas and Horvath, and the famous Ekeland variational principle.