Calculus · real student question

Find the limit of 1/x - floor(1/x) as x approaches 0 from the right, where floor denotes the greatest integer function.

Question

Evaluate

limx0+(1x1x)\lim_{x \to 0^{+}} \left(\frac{1}{x} - \left\lfloor \frac{1}{x} \right\rfloor\right)

Step-by-step solution

  1. Recognise the expression as a fractional part. For any real tt, ttt - \lfloor t \rfloor is the fractional part {t}\{t\}, which always satisfies 0{t}<10 \le \{t\} < 1. So the whole expression is {1x}\left\{\tfrac1x\right\} and is trapped in [0,1)[0,1) — bounded, but boundedness alone never proves a limit exists.

  2. See what the inner function does. As x0+x \to 0^{+}, 1x+\tfrac1x \to +\infty. The fractional part of a quantity racing to infinity sweeps through [0,1)[0,1) over and over, once per unit increase — and 1x\tfrac1x increases without bound, so it makes infinitely many such sweeps in any interval (0,δ)(0,\delta).

  3. Build a sequence on which the value is always 0. Take xn=1nx_n = \tfrac{1}{n} for integer nn. Then 1xn=n\tfrac{1}{x_n} = n is an integer, so

    1xn1xn=nn=0\frac{1}{x_n} - \left\lfloor \frac{1}{x_n} \right\rfloor = n - n = 0

    and xn0+x_n \to 0^{+}.

  4. Build a second sequence on which the value is always 1/2. Take yn=1n+12y_n = \dfrac{1}{n + \tfrac12}. Then 1yn=n+12\tfrac{1}{y_n} = n + \tfrac12, whose floor is nn, so

    1yn1yn=12\frac{1}{y_n} - \left\lfloor \frac{1}{y_n} \right\rfloor = \frac12

    and yn0+y_n \to 0^{+} as well.

  5. Conclude by the sequential criterion. If the limit existed and equalled LL, every sequence approaching 0+0^{+} would force the values to LL. Two sequences give 00 and 12\tfrac12, so no such LL exists:

    limx0+(1x1x) does not exist\lim_{x \to 0^{+}} \left(\frac{1}{x} - \left\lfloor \frac{1}{x} \right\rfloor\right) \text{ does not exist}

    In fact by choosing x=1n+cx = \tfrac{1}{n + c} for any c[0,1)c \in [0,1) the value can be made exactly cc, so every number in [0,1)[0,1) is a subsequential limit.

Answer

The limit does not exist; the values fill [0,1) arbitrarily close to 0\text{The limit does not exist; the values fill } [0,1) \text{ arbitrarily close to } 0

Need to solve a different problem like this? Open the solver →