Assuming the probability distribution is gaussian, I’d guess something like 3.5 to 4 times as large. I dont remember if that specific probability density function is gaussian or not, but assuming a distribution is gaussian is usually a safe bet