deletions | additions       diff --git a/section_Q4_subsection_a_subsubsection__.tex b/section_Q4_subsection_a_subsubsection__.tex  index b6d991c..7e9fe81 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 $\angle_{vuw} \in (0,\tau$ }\\ (0,\tau$)}\\  &=\frac{|uv|}{|uw|-|wv|}\\  &\geq\frac{|uw|}{|uv|-|wv|} \qquad \text{as $|uv| > |uw|$}\\  &=RHS \ \ \square