Lebl-Basic-Analysis-I · Problem 3.6.13
Continuous Functions
Mathematics · monotone-functions-continuity
Problem
Suppose is increasing. Show that for every , there exists a strictly increasing such that , for all , and .Intuitive explanation
The key is to "lift" slightly while keeping it trapped between the boundary constraints. Since is increasing but not strictly, you need to add a small, carefully controlled perturbation that breaks ties without overshooting the upper bound of . Think of it as threading a strictly increasing curve through the "slack space" above and below —the tolerance on the endpoint gives you just enough room to make this work for any initial gap.
Intuitive explanation
The key is to "lift" slightly while keeping it trapped between the boundary constraints. Since is increasing but not strictly, you need to add a small, carefully controlled perturbation that breaks ties without overshooting the upper bound of . Think of it as threading a strictly increasing curve through the "slack space" above and below —the tolerance on the endpoint gives you just enough room to make this work for any initial gap.