sum(ln(sin((Pi*n+2)/(2*n))), n =1..infty)