Pairwise coprime odd $s_i\in((1-2\eta)t_i,(1-\eta)t_i]$, $\eta=1/4d$ (replacement for HvdH Lemma 5.1)

Initializing...

Pairwise coprime odd $s_i\in((1-2\eta)t_i,(1-\eta)t_i]$, $\eta=1/4d$ (replacement for HvdH Lemma 5.1) · Prove2Me