Registry · Theorem
IV.T114
tau-effective
formalized
IV.T114 — Leading exponent -7
At s = 4 the Chowla-Selberg leading term gives T_2(4, iota_tau) = C_lead * iota_tau^{-7} with C_lead = (5pi/8)*zeta(7) ~ 1.980; the exponent 7 = 2s-1 counts independent oscillation directions: dim(tau^3) + dim(T^2) + dim(tau^1) + 1 (crossing) = 3+2+1+1 = 7.
Book IV
Part 3
Ch. 23