However, this contradicts the given information that . Therefore, , which is what we wished to prove.