Numerical Finite-Time Ruin Probabilities by the Picard-Lef vre Formula