Cuan es la integral de ctg(x/2) dx