Generating Function for mth Terms of Sequence/Proof