What is the integral of #int cos^3 (x)dx# from 0 to pi/2?