Thanks, Alain!

This was very helpful.
Can you tell me where the number comes from? I tried to derive it several ways, but no luck.