You are reporting the paste Extreme Value Theorem.