Intereting Posts

Continuity of the roots of a polynomial in terms of its coefficients
Is $ d(X) \le s(X)? $
Why is $(2, 1+\sqrt{-5})$ not principal?
A limit of a uniformly convergent sequence of smooth functions
Bijection between Extensions and Ext (Weibel Theorem 3.4.3)
Axiomatic approach to polynomials?
Is there something like Cardano's method for a SOLVABLE quintic.
Josephus' Puzzle Basic Java with some basic math.
What are the angle brackets in Linear Algebra?
Identify the plane defined by $|z-2i| = 2|z+3|$
Questions around the number of subgroups of a $p$-group
When is $X^n-a$ is irreducible over F?
How to solve exact equations by integrating factors?
Proof that a function with a countable set of discontinuities is Riemann integrable without the notion of measure
Naive proof that $\sum_{n=1}^{N-1}\cos(2\pi\frac{n}{N})=-1$

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.

- Dirac Delta or Dirac delta function?
- How to check the real analyticity of a function?
- Mean Value Theorem: $\frac{2}{\pi}<\frac{\sin x}{x}<1$
- Total variation measure vs. total variation function
- Discontinuous functions with the intermediate value property
- Advice about taking mathematical analysis class
- $|f(x)-f(y)|\le(x-y)^2$ without gaplessness
- Hölder continuous but not differentiable function
- Examples of Baire class 2 functions
- Function whose image of every open interval is $(-\infty,\infty)$

**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$.

- Proof that if $\phi \in \mathbb{R}^X$ is continuous, then $\{ x \mid \phi(x) \geq \alpha \}$ is closed.
- Minimum value of $2^{\sin^2x}+2^{\cos^2x}$
- Abelian categories and axiom (AB5)
- How to find the sum of this series : $1+\frac{1}{2}+ \frac{1}{3}+\frac{1}{4}+\dots+\frac{1}{n}$
- De Morgan's law on infinite unions and intersections
- Cantor set: Lebesgue measure and uncountability
- What is the probability that if five hats are distributed among five boxes that box $B_1$ has hat $H_1$ or hat $H_2$ but not both?
- Showing that a $3^n$ digit number whose digits are all equal is divisible by $3^n$
- Help with real analysis proof involving supremum
- Proving that $\sum\limits_{n = 0}^{2013} a_n z^n \neq 0$ if $a_0 > a_1 > \dots > a_{2013} > 0$ and $|z| \leq 1$
- Zero vector of a vector space
- Are there any ways to evaluate $\int^\infty_0\frac{\sin x}{x}dx$ without using double integral?
- Numbers of ways $k – 1$ edges to be added to $k$ connected components to make the graph connected
- How prove this $\frac{a}{(bc-a^2)^2}+\frac{b}{(ca-b^2)^2}+\frac{c}{(ab-c^2)^2}=0$
- What is necessary to exchange messages between aliens?