Question about Lebesgue Number Lemma proof

analysis general-topology metric-spaces

The function is a maximum of finitely many continuous functions, and is, as such, continuous.

Also, the function is a maximum of non-negative functions and is therefore non-negative.

Related

Definition of UFD and the fact that UFDs are integrally closed
Prove: $T \in L(Y,\ell^\infty(\mathbb K))$ is bounded $\implies$ $\forall n \in \mathbb N:g_n \in L(Y,\mathbb K)$ is bounded
Elementary proof that $\sum_{j=1}^{n} \prod_{k \neq j} \frac{1}{1+(a_j - a_k + i)^2} \in \mathbb{R}$ for $a_1, \dots, a_n \in \mathbb{R}$ distinct
if $f: \Omega \to \mathbb{C} \setminus \{0\}$ is holomorphic and $\Omega$ is simply connected, show there is a holomorphic function $g^2 = f$.
Theorem 15.2 of Munkres Topology
Let $x \in (\{a\} \cup [t, \infty)) \cap (\{b\} \cup[s, \infty))$. Show that $x \in \{x\} \cup [\max(t,s), \infty)$.
Self Study Measure Theory: Proof Not An Algebra
Contradiction between me and my professor solution in normal app. to binomial
Powers of a Toeplitz matrix
Matrix to the infinite power shall be zero
What is the cardinality of countable union of infinite sets?
Show that $T f(x) = \frac{1}{x^2}\int\limits_0^x t f(t) dt$ is not compact.