Exercise 17 solution: Let y_{1} < y_{2}. If x ∈ eo(x_{0}) and x < y_{1}, then x < y_{2}. Since H is “increasing” on eo(x_{0}), we have H(y_{1}) ≤ H(y_{2}).