Indicate whether the statement is true or false. If it is true, provide a proof, otherwise, provide a counterexample.
Let (X, d) be a metric space and F : X -> X a correspondence. If F is upper semicontinuous and has nonempty and compact values, then F has a fixed point.