An insurance company finds its claim sizes in units of deductibles follow a Benktander type I distribution with parameters

and

. Find the probability that claim sizes will exceed 2:
For large

it approaches that of log-normal, also known as Gibrat distribution:
Now replace the complimentary error function with its asymptotics at large arguments:
Find stationary renewal distribution associated with a Benktander type I distribution: