Incomplete Gamma Function Properties Proof