Does Savitch's theorem apply here? If yes then you can have a strict bound in section 7.1.