1003108106

How many times is $\underset{0}{\overset{\frac{\pi }{2}}{\int }}3\cos x\mathrm{d}x$ bigger than $\underset{\frac{\pi }{2}}{\overset{\pi }{\int }}\frac{\sin x}{2}\mathrm{d}x$?