deletions | additions       diff --git a/section_Q4_subsection_a_subsubsection__.tex b/section_Q4_subsection_a_subsubsection__.tex  index 3adb752..b6d991c 100644  --- a/section_Q4_subsection_a_subsubsection__.tex  +++ b/section_Q4_subsection_a_subsubsection__.tex 
...
LHS &\geq \frac{1}{\cos \tau - \sin \tau} \\  &\geq \frac{1}{\cos \angle_{vuw} - \sin \angle_{vuw} } \qquad \text{as $\tau\geq \angle_{vuw}$ $\angle_{vuw} \in (0,\tau$  }\\ &=\frac{|uv|}{|uw|-|wv|}\\  &\geq\frac{|uw|}{|uv|-|wv|} \qquad \text{as $|uv| > |uw|$}\\  &=RHS \ \ \square