deletions | additions       diff --git a/section_Q4_subsection_a_subsubsection__.tex b/section_Q4_subsection_a_subsubsection__.tex  index 3d8432c..e0a1010 100644  --- a/section_Q4_subsection_a_subsubsection__.tex  +++ b/section_Q4_subsection_a_subsubsection__.tex 
...
Pf: From problem definition/assumed finite k we have $\tau > 0$. Additionally:  $k=\lceil 2\pi/ \tau \rceil > 8 \implies 2\pi/ \tau > 7 \iff \tau < 2\pi/7 \square$ \\\square$  \subsubsection{Lemma 2}