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