\Section{Пример главы}{8 февраля}{Копелиович Сергей}

\Subsection{Подзаголовок}

Пример кода.

\begin{code} 
struct node {
  node *l, *r;
  int data;
}
struct List {
  node *head, *tail;
  int length;
}
\end{code}

Пример списка. Функции:

\begin{MyList}
  \item \t{pop\_back()} -- удалить с конца
  \item \t{push\_back()} -- добавить в конец
  \item \t{back()} -- посмотреть последний элемент
\end{MyList}

\Subsection{Ещё подзаголовок}

Пример оформления определения

\begin{Def}{$f = \O(g)$} \quad
  $\exists N > 0, C > 0 \colon \forall n \ge N, f(n) \le C \cdot g(n)$
\end{Def}

Пример леммы, теоремы, ссылки на уже доказанное.

\begin{Lm}\label{Lm:easyint} 
  $\forall f(x) \nearrow [a..a{+}1] \SO f(a) \le \int\limits_{a}^{a{+}1}f(x)dx \le f(a{+}1)$
\end{Lm}

\begin{Lm}\label{Lm:int1} 
  $\forall f(x) \nearrow [a..b{+}1] \SO \sum\limits_{i=a}^b f(i) \le \int\limits_{a}^{b{+}1}f(x)dx$
\end{Lm}
\begin{proof} 
  Сложили неравенства из \autoref{Lm:easyint}
\end{proof}

\begin{Thm}{\emph{О экспоненциальном рекуррентном соотношении}}\\
  Собственно теорема. Формулировка. Формулировка. Формулировка.
\end{Thm}
\begin{proof} 
  Какой-то текст.
\end{proof}
