RUВход: два предела, которые выглядят одинаково
$$\lim_{x \to 0}\frac{\sin 3x}{\ln(1 + 2x)} \qquad \text{и} \qquad \lim_{x \to 0}\frac{e^{x} - 1 - x}{x^{2}}$$Оба вида $\frac00$, обе дроби собраны из школьных функций. Первый берётся в строку: около нуля $\sin 3x$ ведёт себя как $3x$, а $\ln(1 + 2x)$ — как $2x$, отношение равно $\frac32$.
Во втором тот же ход даёт $\frac{x - x}{x^{2}} = 0$, потому что $e^{x} - 1 \sim x$. Это неверный ответ: настоящий равен $\frac12$. Ничего не сломалось в приёме — просто главные члены числителя сократились полностью, и весь ответ остался в том, что мы выбросили. Урок про инструмент, который работает в обоих случаях, и про правило, которое заранее говорит, насколько глубоко копать.
Знаки $\sim$ и $o$: что именно они означают
Запись $f(x) \sim g(x)$ при $x \to 0$ означает ровно одно: $\lim_{x \to 0}\frac{f(x)}{g(x)} = 1$.
Запись $o(x^{n})$ — не конкретная функция, а класс: любая функция $r(x)$, для которой $\frac{r(x)}{x^{n}} \to 0$. Словами: «что-то, убывающее быстрее, чем $x^{n}$». Отсюда арифметика остатков — её надо принять целиком, иначе каждая выкладка будет буксовать.
| Действие | Результат | Почему |
|---|
| $o(x^{n}) \pm o(x^{n})$ | $o(x^{n})$ | сумма двух «быстрее $x^{n}$» тоже быстрее $x^{n}$ |
| $o(x^{n}) + o(x^{m})$ при $m > n$ | $o(x^{n})$ | выживает более грубая оценка |
| $C \cdot o(x^{n})$ | $o(x^{n})$ | постоянный множитель ничего не меняет |
| $x^{k} \cdot o(x^{n})$ | $o(x^{n + k})$ | множитель добавляет степень |
Запрещено ровно два действия: сокращать $o(x^{n})$ с $o(x^{n})$ (это разные функции, а не одна) и делить на $o(\cdot)$.
Лист асимптотик
Восемь строк, которые надо знать как таблицу умножения. Каждая — вчерашнее линейное приближение, продолженное дальше.
Лист асимптотик при $x \to 0$$$\sin x = x - \frac{x^{3}}{6} + o(x^{4})$$$$\cos x = 1 - \frac{x^{2}}{2} + \frac{x^{4}}{24} + o(x^{5})$$$$\tan x = x + \frac{x^{3}}{3} + o(x^{4})$$$$e^{x} = 1 + x + \frac{x^{2}}{2} + \frac{x^{3}}{6} + o(x^{3})$$$$\ln(1 + x) = x - \frac{x^{2}}{2} + \frac{x^{3}}{3} + o(x^{3})$$$$(1 + x)^{\alpha} = 1 + \alpha x + \frac{\alpha(\alpha - 1)}{2}x^{2} + o(x^{2})$$$$\arcsin x = x + \frac{x^{3}}{6} + o(x^{4})$$$$\arctan x = x - \frac{x^{3}}{3} + o(x^{4})$$
Два следствия, которые встречаются чаще самих строк:
$$1 - \cos x = \frac{x^{2}}{2} + o(x^{3}), \qquad \sqrt{1 + x} = 1 + \frac{x}{2} - \frac{x^{2}}{8} + o(x^{2})$$Первое — вторая строка, перенесённая налево; второе — шестая при $\alpha = \frac12$, где $\frac{\alpha(\alpha - 1)}{2} = -\frac18$. А если оставить в каждой строке только первый значащий член, получатся знакомые эквивалентности $\sin x \sim x$, $\tan x \sim x$, $e^{x} - 1 \sim x$, $\ln(1 + x) \sim x$ — ими и берётся первый предел из входного примера.
Правило глубины
Приведение к главному членуПриведи числитель и знаменатель к виду $C x^{m} + o(x^{m})$ с $C \ne 0$. При $m_{1} = m_{2}$ предел равен $\frac{C_{1}}{C_{2}}$, при $m_{1} > m_{2}$ равен нулю. При $m_{1} < m_{2}$ конечного предела нет: модуль уходит в бесконечность, а если разность степеней $m_{2} - m_{1}$ нечётна, то знак слева и справа разный — тогда нет и бесконечного предела.
Практический вид этого правила: посмотри на знаменатель. Если он ведёт себя как $x^{k}$, числитель нужен с точностью до $x^{k}$ включительно, остальное — в $o(x^{k})$. Вернёмся к сломавшемуся примеру: знаменатель $x^{2}$, значит числитель нужен до $x^{2}$.
$$e^{x} = 1 + x + \frac{x^{2}}{2} + o(x^{2}) \;\Longrightarrow\; e^{x} - 1 - x = \frac{x^{2}}{2} + o(x^{2})$$Главный член числителя — $\frac{x^{2}}{2}$, знаменателя — $x^{2}$, ответ $\frac12$. Первые два члена сократились, но мы это увидели, потому что заранее знали глубину: эквивалент $e^{x} - 1 \sim x$ хранит только первый член, а весь ответ лежал во втором.
Где эквивалентность ломаетсяЗаменять функцию эквивалентом можно в произведениях и частных — там ошибка уходит в множитель, стремящийся к единице. В сумме и разности так делать нельзя, если главные члены складываемых частей сокращаются: тогда от них ничего не остаётся, а ответ сидит в следующем члене. Признак беды простой: подставил эквиваленты, получил в числителе чистый ноль. Это не ответ, а сигнал вернуться и взять на порядок глубже.
Составной аргумент и произведение на множитель
В лист подставляется не обязательно $x$. Годится любое выражение, стремящееся к нулю, — подставляй его в строку целиком, вместе со степенями:
$$\sin 3x = 3x - \frac{(3x)^{3}}{6} + o(x^{4}) = 3x - \frac{9x^{3}}{2} + o(x^{4})$$$$e^{x^{2}} = 1 + x^{2} + \frac{x^{4}}{2} + o(x^{4})$$Самая частая потеря здесь — забыть возвести множитель: написать $3x - \frac{3x^{3}}{6}$ вместо $3x - \frac{9x^{3}}{2}$. Коэффициент отличается в девять раз, и ответ уезжает целиком.
Когда ряд умножается на множитель, глубина пересчитывается: если перед скобкой стоит $2x$, внутри скобки хватит точности на одну степень меньше — множитель добавит недостающую:
$$2x\ln(1 + x) = 2x\left(x - \frac{x^{2}}{2} + o(x^{2})\right) = 2x^{2} - x^{3} + o(x^{3})$$Внутри скобки взято два члена, а на выходе получились степени $x^{2}$ и $x^{3}$.
Вынесение общего множителя
Разность двух похожих функций почти всегда выгоднее не раскладывать по отдельности, а свести к одному малому:
$$e^{A} - e^{B} = e^{B}\left(e^{A - B} - 1\right), \qquad \ln A - \ln B = \ln\left(1 + \frac{A - B}{B}\right)$$Дальше работают эквиваленты $e^{u} - 1 \sim u$ и $\ln(1 + u) \sim u$, и задача сводится к разности показателей. Пример: $\lim_{x \to 0}\dfrac{e^{\tan x} - e^{x}}{x^{3}}$. Выносим: $e^{\tan x} - e^{x} = e^{x}\left(e^{\tan x - x} - 1\right)$, множитель $e^{x} \to 1$, показатель $\tan x - x = \frac{x^{3}}{3} + o(x^{4})$ — одна строка листа, и предел равен $\frac13$. Без вынесения пришлось бы раскладывать $e^{\tan x}$ до третьей степени: композиция двух рядов, вдвое больше работы и вдвое больше шансов ошибиться.
Частный случай, где вторая экспонента — просто число. Если показатель зависит от $x$, но стремится не к нулю, а к конечному $c$, пиши $e^{f(x)} = e^{c}\,e^{f(x) - c}$: первый множитель постоянен и выносится за знак предела, а во втором показатель уже мал, и работает $e^{u} - 1 \sim u$. Например, $e^{\cos x} - e = e\left(e^{\cos x - 1} - 1\right)$, где $\cos x - 1 = -\frac{x^{2}}{2} + o(x^{3})$. Применять $e^{u} - 1 \sim u$ к показателю, идущему к единице, нельзя — малое надо сначала создать вынесением константы.
Переменный показатель
Степень, у которой и основание, и показатель зависят от $x$, сразу переписывается через экспоненту: $f(x)^{g(x)} = e^{g(x)\ln f(x)}$. Особый и самый частый случай — неопределённость $1^{\infty}$: основание стремится к единице, показатель к бесконечности, и ни одно из двух не решает исход.
Шаблон для $1^{\infty}$Обозначь предел $L$ и логарифмируй: $\ln L = \lim g(x)\ln f(x)$. Внутри логарифма стоит $1 + u$ с малым $u$, поэтому $\ln f \sim u$, и дальше идёт обычная работа с листом. В конце возьми экспоненту: найден $\ln L$, а нужен $L$.
Пример. $\lim_{x \to 0}(1 + \sin 2x)^{1/x}$. Логарифм равен $\frac{\ln(1 + \sin 2x)}{x}$, внутри $\ln(1 + u)$ стоит $u = \sin 2x \sim 2x$, значит $\ln L = \lim \frac{2x}{x} = 2$ и $L = e^{2} \approx 7.3891$. Тот же шаблон на бесконечности даёт $\left(1 + \frac{a}{x}\right)^{bx} \to e^{ab}$.
Потерянный последний шагДошли до $\ln L = -\frac12$ и записали в ответ $-0.5$. Это самая дорогая опечатка темы: решение верно целиком, а задача не засчитана. Заведи привычку писать ответ сразу в виде $L = e^{\ldots}$, ещё до того, как посчитаешь показатель.
Правило Лопиталя: когда оно нужно и когда мешает
Правило ЛопиталяЕсли $f$ и $g$ дифференцируемы около точки $a$, $g'(x) \ne 0$ рядом с ней, обе функции стремятся к нулю (или обе к бесконечности) и предел $\lim \frac{f'(x)}{g'(x)}$ существует, то $\lim \frac{f(x)}{g(x)} = \lim \frac{f'(x)}{g'(x)}$. Числитель и знаменатель дифференцируются по отдельности; это не производная частного.
Правило действительно нужно там, где листа нет: на бесконечности и при сравнении скоростей роста. Например, $\lim_{x \to +\infty}\frac{\ln x}{x} = \lim \frac{1/x}{1} = 0$ — отсюда же берётся вся иерархия $\ln x \ll x^{a} \ll e^{x}$ при $x \to +\infty$.
Проверь неопределённость до применения$\lim_{x \to 0}\frac{x + 1}{x + 2}$ — подстановка сразу даёт $\frac12$, а применённое не глядя правило даёт $\frac{1}{1} = 1$: неопределённости не было вовсе, и условие «обе стремятся к нулю» — не формальность, а первое, что надо проверить.
И второе: правило работает в одну сторону. Если $\lim \frac{f'}{g'}$ не существует, о самом пределе оно не говорит ничего — так, $\lim_{x \to +\infty}\frac{x + \sin x}{x} = 1$, а отношение производных равно $1 + \cos x$ и предела не имеет.
Практический вывод дня: при $x \to 0$ лист быстрее в разы. Разность $e^{\sin x} - e^{\tan x}$ придётся дифференцировать трижды, и выражение растёт на каждом шаге; через вынесение множителя та же задача занимает две строки. На бесконечности — наоборот, Лопиталь удобнее.
Односторонние пределы: целая часть, модуль, параметр
Классический поставщик разного поведения слева и справа — целая часть:
$$\lim_{t \to 0^{+}}\lfloor t \rfloor = 0, \qquad \lim_{t \to 0^{-}}\lfloor t \rfloor = -1$$Это скачок, а не маленькая поправка: $\cos\lfloor x \rfloor$ стремится к $\cos 0 = 1$ справа и к $\cos(-1) \approx 0.5403$ слева, двустороннего предела нет.
Рефлекс, который надо завестиУвидел в условии $\lfloor \cdot \rfloor$, модуль, чётный корень или знаменатель, который может обнулиться, — не пиши ни одной строки, пока не выписаны два односторонних предела.
Отсюда устроен целый тип задач: «при каком значении параметра предел существует». Схема работы всегда одна: выписать оба односторонних предела как функции параметра, приравнять их — и отдельно перебрать особые значения параметра, при которых знаменатель обнуляется или меняется сама структура выражения. Ответом обычно оказывается как раз особое значение.
Различие, на котором всё держится: выражение может стремиться к нулю (и тогда целая часть от него скачет между $0$ и $-1$) либо быть тождественно равным нулю при всех $x$ (и тогда целая часть равна нулю всегда, скачка нет). Подбор параметра обычно превращает первое во второе.
Что должно остаться в голове
- $f \sim g$ — это $\frac fg \to 1$; $o(x^{n})$ — класс функций, убывающих быстрее $x^{n}$.
- Восемь строк листа наизусть, плюс $1 - \cos x = \frac{x^{2}}{2} + o(x^{3})$.
- Смотри на знаменатель: он задаёт, до какой степени нужен числитель.
- Эквиваленты — в произведениях и частных. Получил в числителе ноль — иди глубже.
- Составной аргумент подставляется в строку целиком, вместе со степенями множителя.
- Разность похожих функций — вынеси общий множитель, останется $e^{u} - 1$ или $\ln(1 + u)$.
- Переменный показатель — сразу $e^{g\ln f}$; посчитал $\ln L$ — верни экспоненту.
- Показатель идёт не к нулю, а к конечному $c$ — вынеси $e^{c}$, в скобке останется $e^{u} - 1$.
- Лопиталь: проверь неопределённость, дифференцируй порознь; на $x \to 0$ он медленнее листа, на бесконечности удобнее.
- Целая часть и модуль около нуля — скачок; два односторонних предела до всякого счёта, а параметр подбирается так, чтобы скачок исчез.
ENOpening: two limits that look alike
$$\lim_{x \to 0}\frac{\sin 3x}{\ln(1 + 2x)} \qquad \text{and} \qquad \lim_{x \to 0}\frac{e^{x} - 1 - x}{x^{2}}$$Both are of the form $\frac00$, and both use familiar school-level functions. The first is one line: near zero, $\sin 3x$ behaves like $3x$, while $\ln(1 + 2x)$ behaves like $2x$, so the ratio is $\frac32$.
In the second, the same move gives $\frac{x - x}{x^{2}} = 0$, because $e^{x} - 1 \sim x$. That answer is wrong: the actual answer is $\frac12$. Nothing went wrong with the technique — the numerator’s leading terms simply canceled completely, and the answer was left in what we threw away. This lesson is about a tool that works in both cases and a rule that tells you in advance how far to expand.
The symbols $\sim$ and $o$: what they actually mean
Writing $f(x) \sim g(x)$ as $x \to 0$ means exactly one thing: $\lim_{x \to 0}\frac{f(x)}{g(x)} = 1$.
Writing $o(x^{n})$ does not name a particular function; it names a class: any function $r(x)$ for which $\frac{r(x)}{x^{n}} \to 0$. In words: “something that goes to zero faster than $x^{n}$.” This gives us the arithmetic of remainders; accept it as a whole or every calculation will stall.
| Operation | Result | Why |
|---|
| $o(x^{n}) \pm o(x^{n})$ | $o(x^{n})$ | the sum of two terms smaller than $x^{n}$ is still smaller than $x^{n}$ |
| $o(x^{n}) + o(x^{m})$ for $m > n$ | $o(x^{n})$ | the coarser estimate survives |
| $C \cdot o(x^{n})$ | $o(x^{n})$ | a constant factor changes nothing |
| $x^{k} \cdot o(x^{n})$ | $o(x^{n + k})$ | the factor adds a power |
Exactly two operations are forbidden: canceling $o(x^{n})$ with $o(x^{n})$ (they are different functions, not one function) and dividing by $o(\cdot)$.
The asymptotics sheet
Eight lines to know as well as the multiplication table. Each is yesterday’s linear approximation, extended further.
Asymptotics sheet as $x \to 0$$$\sin x = x - \frac{x^{3}}{6} + o(x^{4})$$$$\cos x = 1 - \frac{x^{2}}{2} + \frac{x^{4}}{24} + o(x^{5})$$$$\tan x = x + \frac{x^{3}}{3} + o(x^{4})$$$$e^{x} = 1 + x + \frac{x^{2}}{2} + \frac{x^{3}}{6} + o(x^{3})$$$$\ln(1 + x) = x - \frac{x^{2}}{2} + \frac{x^{3}}{3} + o(x^{3})$$$$(1 + x)^{\alpha} = 1 + \alpha x + \frac{\alpha(\alpha - 1)}{2}x^{2} + o(x^{2})$$$$\arcsin x = x + \frac{x^{3}}{6} + o(x^{4})$$$$\arctan x = x - \frac{x^{3}}{3} + o(x^{4})$$
Two consequences appear more often than the lines themselves:
$$1 - \cos x = \frac{x^{2}}{2} + o(x^{3}), \qquad \sqrt{1 + x} = 1 + \frac{x}{2} - \frac{x^{2}}{8} + o(x^{2})$$The first is the second line moved to the other side; the second is the sixth line with $\alpha = \frac12$, where $\frac{\alpha(\alpha - 1)}{2} = -\frac18$. If you keep only the first nonzero term in each line, you get the familiar equivalences $\sin x \sim x$, $\tan x \sim x$, $e^{x} - 1 \sim x$, and $\ln(1 + x) \sim x$ — these are enough for the first limit in the opening example.
The depth rule
Reduce to the leading termReduce the numerator and denominator to $C x^{m} + o(x^{m})$ with $C \ne 0$. If $m_{1} = m_{2}$, the limit is $\frac{C_{1}}{C_{2}}$; if $m_{1} > m_{2}$, it is zero. If $m_{1} < m_{2}$, there is no finite limit: the magnitude goes to infinity, and if the difference $m_{2} - m_{1}$ is odd, the signs on the left and right differ — so there is no infinite limit either.
The practical version is: look at the denominator. If it behaves like $x^{k}$, you need the numerator through $x^{k}$, with everything else in $o(x^{k})$. Return to the broken example: the denominator is $x^{2}$, so the numerator is needed through $x^{2}$.
$$e^{x} = 1 + x + \frac{x^{2}}{2} + o(x^{2}) \;\Longrightarrow\; e^{x} - 1 - x = \frac{x^{2}}{2} + o(x^{2})$$The numerator’s leading term is $\frac{x^{2}}{2}$ and the denominator’s is $x^{2}$, so the answer is $\frac12$. The first two terms canceled, but we saw it because we knew the depth in advance: the equivalence $e^{x} - 1 \sim x$ keeps only the first term, while the whole answer was in the second.
Where equivalence breaks downReplacing a function by an equivalent is valid in products and quotients — the error becomes a factor tending to one. In a sum or difference, it is not valid when the leading terms cancel: then nothing remains of them, and the answer lives in the next term. The warning sign is simple: substitute equivalents and get a pure zero in the numerator. That is not the answer; it is a signal to go back and expand one order further.
Composite arguments and multiplication by a factor
The input to a line need not be $x$. Any expression tending to zero works — substitute it into the line as a whole, including its powers:
$$\sin 3x = 3x - \frac{(3x)^{3}}{6} + o(x^{4}) = 3x - \frac{9x^{3}}{2} + o(x^{4})$$$$e^{x^{2}} = 1 + x^{2} + \frac{x^{4}}{2} + o(x^{4})$$The most common loss here is forgetting to raise the factor to a power: writing $3x - \frac{3x^{3}}{6}$ instead of $3x - \frac{9x^{3}}{2}$. The coefficient differs by a factor of nine, and the answer shifts completely.
When a series is multiplied by a factor, recalculate the depth: if $2x$ stands before the brackets, the brackets need one fewer power of precision — the factor supplies the missing power:
$$2x\ln(1 + x) = 2x\left(x - \frac{x^{2}}{2} + o(x^{2})\right) = 2x^{2} - x^{3} + o(x^{3})$$Two terms were taken inside the brackets, and powers $x^{2}$ and $x^{3}$ came out.
Factoring out a common term
For the difference of two similar functions, it is almost always better not to expand them separately, but to reduce the expression to one small quantity:
$$e^{A} - e^{B} = e^{B}\left(e^{A - B} - 1\right), \qquad \ln A - \ln B = \ln\left(1 + \frac{A - B}{B}\right)$$Then use $e^{u} - 1 \sim u$ and $\ln(1 + u) \sim u$, reducing the problem to a difference of exponents. Example: $\lim_{x \to 0}\dfrac{e^{\tan x} - e^{x}}{x^{3}}$. Factor it: $e^{\tan x} - e^{x} = e^{x}\left(e^{\tan x - x} - 1\right)$, with $e^{x} \to 1$; the exponent $\tan x - x = \frac{x^{3}}{3} + o(x^{4})$ is one line from the sheet, so the limit is $\frac13$. Without factoring, you would have to expand $e^{\tan x}$ through the third degree: twice the work and twice the chance of error.
A special case is when the second exponential is simply a number. If the exponent depends on $x$ but tends not to zero, rather to a finite $c$, write $e^{f(x)} = e^{c}\,e^{f(x) - c}$: the first factor is constant and can be taken outside the limit, while the second exponent is small, so $e^{u} - 1 \sim u$ applies. For example, $e^{\cos x} - e = e\left(e^{\cos x - 1} - 1\right)$, where $\cos x - 1 = -\frac{x^{2}}{2} + o(x^{3})$. You cannot apply $e^{u} - 1 \sim u$ to an exponent tending to one — first create a small exponent by factoring out the constant.
Variable exponent
A power whose base and exponent both depend on $x$ should immediately be rewritten through an exponential: $f(x)^{g(x)} = e^{g(x)\ln f(x)}$. The special and most common case is the indeterminate form $1^{\infty}$: the base tends to one, the exponent to infinity, and neither one determines the result.
Template for $1^{\infty}$Call the limit $L$ and take logarithms: $\ln L = \lim g(x)\ln f(x)$. Inside the logarithm there is $1 + u$ with small $u$, so $\ln f \sim u$, and the rest is ordinary work with the sheet. At the end, take the exponential: you have found $\ln L$, but you need $L$.
Example. $\lim_{x \to 0}(1 + \sin 2x)^{1/x}$. The logarithm is $\frac{\ln(1 + \sin 2x)}{x}$; inside $\ln(1 + u)$ we have $u = \sin 2x \sim 2x$, so $\ln L = \lim \frac{2x}{x} = 2$ and $L = e^{2} \approx 7.3891$. The same template at infinity gives $\left(1 + \frac{a}{x}\right)^{bx} \to e^{ab}$.
The lost final stepWe reached $\ln L = -\frac12$ and entered $-0.5$ as the answer. This is the costliest typo in the topic: the solution is completely correct, but the problem is marked wrong. Make a habit of writing the answer immediately as $L = e^{\ldots}$, before you calculate the exponent.
L’Hôpital’s rule: when it helps and when it gets in the way
L’Hôpital’s ruleIf $f$ and $g$ are differentiable near $a$, $g'(x) \ne 0$ nearby, both functions tend to zero (or both to infinity), and the limit $\lim \frac{f'(x)}{g'(x)}$ exists, then $\lim \frac{f(x)}{g(x)} = \lim \frac{f'(x)}{g'(x)}$. Differentiate numerator and denominator separately; this is not the derivative of a quotient.
The rule is genuinely useful where the sheet is not: at infinity and when comparing growth rates. For example, $\lim_{x \to +\infty}\frac{\ln x}{x} = \lim \frac{1/x}{1} = 0$ — the whole hierarchy $\ln x \ll x^{a} \ll e^{x}$ as $x \to +\infty$ follows from this.
Check the indeterminate form first$\lim_{x \to 0}\frac{x + 1}{x + 2}$ gives $\frac12$ immediately by substitution, whereas applying the rule without looking gives $\frac{1}{1} = 1$: there was no indeterminate form, and the condition “both tend to zero” is not a formality but the first thing to check.
Second, the rule works only in one direction. If $\lim \frac{f'}{g'}$ does not exist, the rule says nothing about the original limit — for example, $\lim_{x \to +\infty}\frac{x + \sin x}{x} = 1$, while the derivative ratio is $1 + \cos x$ and has no limit.
The practical conclusion for today: as $x \to 0$, the sheet is many times faster. The difference $e^{\sin x} - e^{\tan x}$ would need three differentiations, and the expression grows at each step; factoring out a common term takes two lines. At infinity, the situation is reversed — L’Hôpital is more convenient.
One-sided limits: floor function, absolute value, and a parameter
The classic source of different behavior on the left and right is the floor function:
$$\lim_{t \to 0^{+}}\lfloor t \rfloor = 0, \qquad \lim_{t \to 0^{-}}\lfloor t \rfloor = -1$$This is a jump, not a small correction: $\cos\lfloor x \rfloor$ tends to $\cos 0 = 1$ from the right and to $\cos(-1) \approx 0.5403$ from the left, so the two-sided limit does not exist.
The reflex to buildIf you see $\lfloor \cdot \rfloor$, an absolute value, an even root, or a denominator that may vanish, do not write a single line until you have written both one-sided limits.
This creates an entire family of problems: “for which value of the parameter does the limit exist?” The method is always the same: write both one-sided limits as functions of the parameter, set them equal, and separately check exceptional parameter values where the denominator vanishes or the structure of the expression itself changes. The answer is usually precisely that exceptional value.
The distinction everything rests on is this: an expression may tend to zero (so its floor function jumps between $0$ and $-1$), or it may be identically zero for every $x$ (so its floor function is always zero and there is no jump). Choosing the parameter usually turns the first case into the second.
What should stay in your head
- $f \sim g$ means $\frac fg \to 1$; $o(x^{n})$ is the class of functions that vanish faster than $x^{n}$.
- Know the eight sheet lines by heart, plus $1 - \cos x = \frac{x^{2}}{2} + o(x^{3})$.
- Look at the denominator: it determines how far the numerator must be expanded.
- Use equivalences in products and quotients. If the numerator becomes zero, go deeper.
- Substitute a composite argument into the whole line, including powers of its factor.
- For the difference of similar functions, factor out a common term; what remains is $e^{u} - 1$ or $\ln(1 + u)$.
- For a variable exponent, immediately write $e^{g\ln f}$; once you have computed $\ln L$, return to the exponential.
- If the exponent tends to a finite $c$ rather than zero, factor out $e^{c}$; the brackets will contain $e^{u} - 1$.
- With L’Hôpital, check the indeterminate form and differentiate separately; near $x \to 0$ it is slower than the sheet, while at infinity it is more convenient.
- A floor function or absolute value near zero creates a jump: write two one-sided limits before any calculation, and choose the parameter that removes the jump.