Space hierarchy theorem

The Space Hierarchy Theorem is a fundamental result in computational complexity theory that pertains to the relationship between the space complexity of computational problems. It essentially states that there are problems that can be solved with a certain amount of space that cannot be solved with less space.