Intereting Posts

Integrate and measure problem.
Quantifiers, predicates, logical equivalence
What exactly is a Kähler Manifold?
Determine the *interval* in which the solution is defined?
Projection of tetrahedron to complex plane
Prove that $n$ is a sum of two squares?
Partial fractions to integrate$\int \frac{4x^2 -20}{(2x+5)^3}dx$
Are derivatives linear maps?
Visualizing Concepts in Mathematical Logic
Computing $\lim\limits_{n\to\infty}(1+1/n^2)^n$
Are differences between powers of 2 equal to differences between powers of 3 infinitely often?
How do I evaluate this integral?
What Is Exponentiation?
Cosets of a subgroup do not overlap
Calculating volume enclosed using triple integral

I can see that $f(x_n)$ converges, since it is bounded and monotonic. Let me give some context and mention that we have dwelled mostly on the sequential definition of limits. Does $(x_n)$ need to be nondecreasing as well? I suppose I need to use sups and infs somehow, but could use a hint. This is not homework but a rather an optional practice problem to prepare for a test.

- Composition of a function with a metric
- proving the function $\frac{1}{1+x^2}$ is analytic
- Is it necessary that every function is a derivative of some function?
- Set of continuity points of a real function
- Continuity of $g(\theta) = \frac{1}{2\pi^2\theta^3}-\frac{\pi}{2}\cot(\pi\theta)\csc^2(\pi\theta)$ at $\theta=0$
- Continuous functions on discrete product topology
- Prove that the limit exists of an increasing and bounded function
- how to maximize the slope in order to find the tangent line of hyperbola from a point?
- Calculate sum of an infinite series
- Intermediate value property problem and continuous function

**Hint**: Choose any monotonically increasing sequence $x_n \to b$; then since $f$ is nondecreasing, $f(x_n)$ is a monotonically increasing and bounded sequence, with limit $L$.

Now take *any* sequence $y_n$ converging to $b$; can you convince yourself that $f(y_n) \to L$ as $y_n \to b$? Choosing a monotonically increasing subsequence $y_{n_k}$ may be of use to you.

Since $f$ is bounded we have $|f(x)|<M$ for some $M$ on $(a,b)$ Consider the set $\{f(x) : x<b\}$, this set is bounded above by $M$ thus it has a supremum $L$, that is $L=\sup\{f(x) : x<b\}$. I claim that $\displaystyle\lim_{x\to b^-}f(x)=L$. Let $\varepsilon>0$, by the definition of the $\sup$ there is a $y\in (a,b)$ such that $L-\varepsilon < f(y) \le L$ .Take $x \in (b-\delta,b)$ then $L-\varepsilon <f(y)\le f(x) \le L$ which means that $|f(x)-L|<\varepsilon$ when $0<b-x<\delta$, therefore $\displaystyle\lim_{x\to b^-}f(x)=L$.

Try finding the $\delta$.

- Proving a solution to a double recurrence is exhaustive
- Truth of $x^2-2=0$
- How to prove that given set is a connected subset of the space of matrices?
- Upper bound for complex polynomial
- Proving a property of a Logic Formal Language
- Splitting of a polynomial modulo primes of a ring of integers
- Reduce all cases to $x \to 0^{+}$ and $f(x),g(x) \to 0$ before proving L'Hôpital's Rule
- Equivalent definitions of isometry
- Does equicontinuity imply uniform continuity?
- $P(z) $ is a polynomial of degree $n-1$ and $P(ω_i) = f(ω_i)$.
- Integrable functions that take values in a Banach space
- If $G$ contains a normal subgroup $H \cong \mathbb{Z_2}$ such that $G/H$ is infinite cyclic, then $G \cong \mathbb{Z} \times \mathbb{Z_2}$
- How do I prove $\sum_{n \leq x} \frac{\mu (n)}{n} \log^2{\frac{x}{n}}=2\log{x}+O(1)$? Can I use Abel summation?
- Uniform convergence of difference quotients to the derivative
- Prove that all values satisfy this expression