Замечание

По определению частичного предела он может быть как конечным, так и бесконечным. В этой задаче все частичные пределы в неравенствах в условии предполагаются конечными.

В противном случае можно рассмотреть последовательности $x_n=y_n=n$. Эти последовательности, а значит и любые их подпоследовательности стремятся к $+\infty$. Это приводит к вот такому бессмысленному неравенству, так как бесконечности не являются в полной мере числами и их «нельзя» складывать и сравнивать в обычном смысле:

$$+\infty +\infty \le +\infty \le +\infty +\infty$$

Поэтому далее мы считаем, что речь в задании идет о конечных наибольших/наименьших частичных пределах.

Доказательство а)

Доказательство первой части неравенства

$$\underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \underline{\underset{n\to \infty }{\lim }}{y}_n\le \underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)$$

По условию

$$\underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)=A$$

Это означает, что существует некоторая подпоследовательность $x_{p_n}{y}_{p_n}$ такая, что

$$\underset{n\to \infty }{\lim }(x_{p_n}{y}_{p_n})=A$$

В условии фигурируют наибольший и наименьший частичные пределы $x_n$. Это означает, что $x_n$ ограничена, потому что если она не ограничена, то, согласно задаче 126, в ней можно выделить подпоследовательность $x_{t_n}\to \infty$, а это значит, что $\overline{\underset{n\to \infty }{\lim }}{x}_n=\underline{\underset{n\to \infty }{\lim }}{x}_n=\infty$. Тут получаем противоречие с замечанием выше, согласно которому мы считаем, что приведенные в условии частичные пределы конечные. Раз $x_n$ ограничена, то и $x_{p_n}$ ограничена.

Аналогично рассуждая, получаем, что $y_n$, как и $y_{p_n}$ ограничена.

Итак, последовательности $x_{p_n}$ и $y_{p_n}$ ограничены.

Раз $y_{p_n}$ ограничена, то, по задаче 125 в ней можно выделить сходящуюся подпоследовательность $y_{q_n}$, в которой номера $q_n$ берутся из номеров $p_n$.

$$\underset{n\to \infty }{\lim }{y}_{q_n}=B$$

Из этих же номеров $q_n$ рассмотрим последовательность $x_{q_n}$. Это подпоследовательность $x_{p_n}$, а значит и $x_{q_n}$ ограничена. Раз $x_{q_n}$ ограничена, то по задаче 125 в ней можно выделить сходящуюся подпоследовательность $x_{r_n}$, в которой номера $r_n$ берутся из номеров $q_n$.

$$\underset{n\to \infty }{\lim }{x}_{r_n}=C$$

Из этих же номеров $r_n$ рассмотрим последовательность $y_{r_n}$. Это подпоследовательность $y_{q_n}$, а значит, по прото-задаче П-ссылка $y_{r_n}$ имеет такой же предел, что и $y_{q_n}$:

$$\underset{n\to \infty }{\lim }{y}_{r_n}=\underset{n\to \infty }{\lim }{y}_{q_n}=B$$

Итак, получили две сходящиеся последовательности $x_{r_n}$ и $y_{r_n}$, состоящие из одинаковых номеров. Раз номера одинаковые, то последовательность $x_{r_n}{y}_{r_n}$ является подпоследовательностью сходящейся последовательности $x_{p_n}{y}_{p_n}$, а значит

$$\underset{n\to \infty }{\lim }(x_{r_n}{y}_{r_n})=\underset{n\to \infty }{\lim }(x_{p_n}{y}_{p_n})=\underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)=A$$

$x_{r_n}$ — сходящаяся подпоследовательность $x_n$, а значит, по определению наименьшего частичного предела:

$$\underline{\underset{n\to \infty }{\lim }}{x}_n\le \underset{n\to \infty }{\lim }{x}_{r_n}$$

Аналогично для $y_{r_n}$:

$$\underline{\underset{n\to \infty }{\lim }}{y}_n\le \underset{n\to \infty }{\lim }{y}_{r_n}$$

Умножим друг на друга эти неравенства:

$$\underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \underline{\underset{n\to \infty }{\lim }}{y}_n\le \underset{n\to \infty }{\lim }{x}_{r_n}\cdot \underset{n\to \infty }{\lim }{y}_{r_n}=\underset{=\underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)}{\underbrace{\underset{n\to \infty }{\lim }(x_{r_n}{y}_{r_n})}}$$

$$\underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \underline{\underset{n\to \infty }{\lim }}{y}_n\le \underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)$$

Мы доказали первую половину неравенства.

Доказательство второй части неравенства

$$\underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)\le \underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \overline{\underset{n\to \infty }{\lim }}{y}_n$$

По прото-задаче П-ссылка:

$$\underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}=\frac{1}{\overline{\underset{n\to \infty }{\lim }}{y}_n}$$

Тогда, согласно уже доказанной первой части неравенства выполняется

$$\underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)\cdot \underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}\le \underline{\underset{n\to \infty }{\lim }}\left(x_n{y}_n\cdot \frac{1}{y_n}\right)$$

$$\underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)\cdot \underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}\le \underline{\underset{n\to \infty }{\lim }}{x}_n$$

Поделим обе части на $\underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}$:

$$\underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)\le \underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \underset{=\overline{\underset{n\to \infty }{\lim }}{y}_n}{\underbrace{\frac{1}{\underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}}}}$$

$$\underline{\underset{n\to \infty }{\lim }}(x_n+y_n)\le \underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \overline{\underset{n\to \infty }{\lim }}{y}_n$$

Мы доказали вторую половину неравенства.

Итак, доказали, что

$$\underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \underline{\underset{n\to \infty }{\lim }}{y}_n\le \underline{\underset{n\to \infty }{\lim }}(x_n{y}_n)\le \underline{\underset{n\to \infty }{\lim }}{x}_n\cdot \overline{\underset{n\to \infty }{\lim }}{y}_n$$

$■$

Доказательство б)

Воспользуемся уже доказанным неравенством в пункте а):

$$\underline{\underset{n\to \infty }{\lim }}\frac{1}{x_n}\cdot \underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}\le \underline{\underset{n\to \infty }{\lim }}\frac{1}{x_n{y}_n}\le \underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}\cdot \overline{\underset{n\to \infty }{\lim }}\frac{1}{x_n}$$

«Перевернем» все части неравенства:

$$\frac{1}{\underline{\underset{n\to \infty }{\lim }}\frac{1}{x_n}}\cdot \frac{1}{\underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}}\ge \frac{1}{\underline{\underset{n\to \infty }{\lim }}\frac{1}{x_n{y}_n}}\ge \frac{1}{\underline{\underset{n\to \infty }{\lim }}\frac{1}{y_n}}\cdot \frac{1}{\overline{\underset{n\to \infty }{\lim }}\frac{1}{x_n}}$$

Применяем прото-задачу П-ссылка для каждого множителя:

$$\overline{\underset{n\to \infty }{\lim }}{x}_n\cdot \overline{\underset{n\to \infty }{\lim }}{y}_n\ge \overline{\underset{n\to \infty }{\lim }}(x_n{y}_n)\ge \overline{\underset{n\to \infty }{\lim }}{y}_n\cdot \underline{\underset{n\to \infty }{\lim }}{x}_n$$

$$\overline{\underset{n\to \infty }{\lim }}{y}_n\cdot \underline{\underset{n\to \infty }{\lim }}{x}_n\le \overline{\underset{n\to \infty }{\lim }}(x_n{y}_n)\le \overline{\underset{n\to \infty }{\lim }}{x}_n\cdot \overline{\underset{n\to \infty }{\lim }}{y}_n$$

$■$