\int_0^{\frac{\pi}{2}}\frac{cos^9xdx}{sin^{20}x} .