P
Initializing...
The waiting-time density has total mass one · Prove2Me