Theorem

Let:

  • = probability density function
  • = survival function

Then

Proof

The limit is by definition .

Therefore: