Seja S=log3(tgx1)+log3(tgx2)+log3(tgx3)⋯ onde x1=3π e xn+1=arctg(tgxn),n=2,3,⋯. Nestas condições, podemos assegurar que: