Una estimación sencilla puede ser la siguiente ∑k≤ncos(kx)−cos(k(x+α))k2≤2∑k≤n1k2<π23. Pero si quiere una estimación más precisa, tenemos ∑k≤ncos(kx)k2−∑k≤ncos(k(x+α))k2=∑k≥1cos(kx)k2−∑k≥1cos(k(x+α))k2−∑n<kcos(kx)k2+∑n<kcos(k(x+α))k2 y ahora nota −ψ(1)(n)=−∑n<k1k2≤∑n<kcos(kx)k2≤∑n<k1k2=ψ(1)(n) donde ψ(n) es la función poligamma, y observe que ψ(1)(n) es una función monótona decreciente. Por tanto, si 0≤x≤2π , 0≤x+α≤2π utilizando la serie de Fourier ∑k≥1cos(kx)k2=π26−πx2+x24 tenemos πα2−2αx+α24−ψ(1)(1)≤supn∈N(∑k≤ncos(kx)−cos(k(x+α))k2)≤πα2−2αx+α24+ψ(1)(1).