Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2021/2/d/ii/solution

If is continuous at , then for every there is such that implies . In particular, for ,
The squeeze theorem gives
which implies condition (1). Thus continuity implies upper semicontinuity.

New to topics? Read the docs here!