By the Space Hierarchy Theorem, if s1(n)/s2(n) → 0 then SPACE(s1(n)) is a proper subset of SPACE(s2(...