Nondeterministic time hierarchy theorem

From Complexity

Statement

If and are time-constructible functions and , then is strictly contained in .

Related facts