7 ms·

I don't know any measure theory or whatever, but someone who's good at probability needs to chime in here.