Изменения
→Формулировка
== Формулировка ==
'''Теорема о временной иерархии''' утверждает, что для любых двух [[Конструируемая по времени функция|конструируемых по времени функций]] <mathtex>f\,\!</mathtex> и <mathtex>g\,\!</mathtex> таких, что <mathtex> \lim_lim \limits_{n \rightarrow \infty} t(f(n))/g(n) = 0</mathtex>, выполняется <mathtex>DTIME(g(n)) \ne DTIME(f(n))</mathtex>.
== Доказательство ==
Зафиксируем <math>f\,\!</math> и <math>g\,\!</math>.
