I'm going over a chapter in Hull's Options, Futures, and Other Derivatives and am stuck on how the probability of default is derived. Here's the image of the derivation.
I can follow all of it except for one step: how do you derive $V(t) = e^{-\int_0^t \lambda(\tau) \,d\tau}$ from $\frac{dV(t)}{dt} = -\lambda (t)V(t) $ ?
I'm not a quant so I don't really know how to proceed. I can just plug in the formula in my project, but I'd rather understand how/why the derivation works.