deletions | additions       diff --git a/section_Q4_subsection_a_begin__.tex b/section_Q4_subsection_a_begin__.tex  index ade5785..2f7b8ba 100644  --- a/section_Q4_subsection_a_begin__.tex  +++ b/section_Q4_subsection_a_begin__.tex 
...
LHS &\geq \frac{1}{\cos \tau - \sin \tau} \\  &\geq \frac{1}{\cos \angle_{vuw} - \sin \angle_{vuw} } \\  &=\frac{|uv|}{|uw|-|wv|}\\  >=\frac{|uw|}{|uv|-|wv|}\tag{as $|uv| > |uw|$}\\ >=\frac{|uw|}{|uv|-|wv|}\\  =RHS \square  \end{align*}