cho hàm số f(x) . Biết f(0)=4 và f ' (x) = 2\cos ^{2} x + 1, với mọi x thuộc R. khi đó \int_{0}^{\frac{\pi }{4}} f(x)dx bằng bao nhiêu ?