Worked solution: Tao's proof of the Erdős discrepancy problem via logarithmically averaged correlations (2015)
Step 8 of 9: The final blow: a base- construction makes the disguise collapse
In plain words
The explicit modulo- construction from step 2 is only a model. Tao’s final argument handles the character and residual factor supplied by Proposition 1.11 through interval averaging and generalized character-sum estimates; it forces the divergent second moment , rather than a pointwise identity for arbitrary .
Detailed analysis
Tao’s Section 4 does not assert a literal identity for an arbitrary period . After Proposition 1.11 writes with a residual close to , the generalized Borwein–Choi–Coons argument averages over intervals and uses character sums to obtain the probabilistic lower bound . This is modeled on the explicit construction, but it is not the same pointwise formula for general .