Изменения

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