minimize cos^2(x)/x for x>0