updated index pages

The index pages were updated with the recently added proofs/definitions.

Author: JoramSoch

I/PbA.md

@@ -8,7 +8,7 @@ title: "Proof by Author"
 
 - [Covariance matrix of the multinomial distribution](/P/mult-cov)
 
-### JoramSoch (339 proofs)
+### JoramSoch (344 proofs)
 
 - [Accuracy and complexity for the univariate Gaussian](/P/ug-anc)
 - [Accuracy and complexity for the univariate Gaussian with known variance](/P/ugkv-anc)
@@ -276,6 +276,8 @@ title: "Proof by Author"
 - [Probability of the empty set](/P/prob-emp)
 - [Probability under mutual exclusivity](/P/prob-exc)
 - [Probability under statistical independence](/P/prob-ind)
+- [Probability-generating function is expectation of function of random variable](/P/pgf-mean)
+- [Probability-generating function of the binomial distribution](/P/bin-pgf)
 - [Projection matrix and residual-forming matrix are idempotent](/P/mlr-idem)
 - [Projection of a data point to the regression line](/P/slr-proj)
 - [Quantile function is inverse of strictly monotonically increasing cumulative distribution function](/P/qf-cdf)
@@ -321,6 +323,7 @@ title: "Proof by Author"
 - [Second central moment is variance](/P/momcent-2nd)
 - [Self-covariance equals variance](/P/cov-var)
 - [Simple linear regression is a special case of multiple linear regression](/P/slr-mlr)
+- [Square of expectation of product is less than or equal to product of expectation of squares](/P/mean-prodsqr)
 - [Sums of squares for simple linear regression](/P/slr-sss)
 - [Symmetry of the covariance](/P/cov-symm)
 - [Symmetry of the covariance matrix](/P/covmat-symm)
@@ -334,6 +337,8 @@ title: "Proof by Author"
 - [Transposition of a matrix-normal random variable](/P/matn-trans)
 - [Two-sample t-test for independent observations](/P/ug-ttest2)
 - [Two-sample z-test for independent observations](/P/ugkv-ztest2)
+- [Value of the probability-generating function for argument one](/P/pgf-one)
+- [Value of the probability-generating function for argument zero](/P/pgf-zero)
 - [Variance of constant is zero](/P/var-const)
 - [Variance of parameter estimates for simple linear regression](/P/slr-olsvar)
 - [Variance of the Bernoulli distribution](/P/bern-var)

I/PbN.md

@@ -364,3 +364,8 @@ title: "Proof by Number"
 | P356 | beta-chi2 | [Relationship between chi-squared distribution and beta distribution](/P/beta-chi2) | JoramSoch | 2022-10-07 |
 | P357 | betabin-mome | [Method of moments for beta-binomial data](/P/betabin-mome) | JoramSoch | 2022-10-07 |
 | P358 | bin-margcond | [Marginal distribution of a conditional binomial distribution](/P/bin-margcond) | JoramSoch | 2022-10-07 |
+| P359 | mean-prodsqr | [Square of expectation of product is less than or equal to product of expectation of squares](/P/mean-prodsqr) | JoramSoch | 2022-10-11 |
+| P360 | pgf-mean | [Probability-generating function is expectation of function of random variable](/P/pgf-mean) | JoramSoch | 2022-10-11 |
+| P361 | pgf-zero | [Value of the probability-generating function for argument zero](/P/pgf-zero) | JoramSoch | 2022-10-11 |
+| P362 | pgf-one | [Value of the probability-generating function for argument one](/P/pgf-one) | JoramSoch | 2022-10-11 |
+| P363 | bin-pgf | [Probability-generating function of the binomial distribution](/P/bin-pgf) | JoramSoch | 2022-10-11 |

I/PbT.md

@@ -327,6 +327,8 @@ title: "Proof by Topic"
 - [Probability of the empty set](/P/prob-emp)
 - [Probability under mutual exclusivity](/P/prob-exc)
 - [Probability under statistical independence](/P/prob-ind)
+- [Probability-generating function is expectation of function of random variable](/P/pgf-mean)
+- [Probability-generating function of the binomial distribution](/P/bin-pgf)
 - [Projection matrix and residual-forming matrix are idempotent](/P/mlr-idem)
 - [Projection of a data point to the regression line](/P/slr-proj)
 - [Proof Template](/P/-temp-)
@@ -384,6 +386,7 @@ title: "Proof by Topic"
 - [Second central moment is variance](/P/momcent-2nd)
 - [Self-covariance equals variance](/P/cov-var)
 - [Simple linear regression is a special case of multiple linear regression](/P/slr-mlr)
+- [Square of expectation of product is less than or equal to product of expectation of squares](/P/mean-prodsqr)
 - [Sums of squares for simple linear regression](/P/slr-sss)
 - [Symmetry of the covariance](/P/cov-symm)
 - [Symmetry of the covariance matrix](/P/covmat-symm)
@@ -404,6 +407,8 @@ title: "Proof by Topic"
 
 ### V
 
+- [Value of the probability-generating function for argument one](/P/pgf-one)
+- [Value of the probability-generating function for argument zero](/P/pgf-zero)
 - [Variance of constant is zero](/P/var-const)
 - [Variance of parameter estimates for simple linear regression](/P/slr-olsvar)
 - [Variance of the Bernoulli distribution](/P/bern-var)