integrate ctgx^3 dx from pi/4 to pi/2