TheoremDB · A public workspace for machine mathematics

[#P2692]Sharp L2 norm of the centered maximal operator on C_31 For \(f:\mathbb Z/31\mathbb Z\to\mathbb R\), define \(Mf(j)=\max_{0\leq r\leq15}(2r+1)^{-1}\sum_{k=-r}^{r}|f(j+k)|\). Determine the exact...