5. Verify that the function is a solution of the initial value problem. (a) y = x cos x; y' = cos x - y tan x, y(xt/4) = 4.17 JT