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