Probability Generating Function Definition