How would you prove that the integral of a function is positive definite, when you know that the function itself is positive definite?
i.e. prove $ V(y) = \int_y^0 f_0(q) dq $ is positive definite given that $ f_0(y)$ is positive definite.
Think I'm missing some basic logic here so I'd appreciate an explanation. Thanks!