updated index pages

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

Author: JoramSoch

I/Definition_by_Author.md

@@ -4,7 +4,7 @@ title: "Definition by Author"
 ---
 
 
-### JoramSoch (92 definitions)
+### JoramSoch (93 definitions)
 
 - [Akaike information criterion](/D/aic)
 - [Bayesian information criterion](/D/bic)
@@ -19,6 +19,7 @@ title: "Definition by Author"
 - [Conditional differential entropy](/D/dent-cond)
 - [Conditional entropy](/D/ent-cond)
 - [Conditional probability distribution](/D/dist-cond)
+- [Constant](/D/const)
 - [Continuous uniform distribution](/D/cuni)
 - [Correlation](/D/corr)
 - [Correlation matrix](/D/corrmat)

I/Definition_by_Number.md

@@ -102,3 +102,4 @@ title: "Definition by Number"
 | D93 | encm | [Encompassing model](/D/encm) | tomfaulkenberry | 2020-09-02 |
 | D94 | std | [Standard deviation](/D/std) | JoramSoch | 2020-09-03 |
 | D95 | wald | [Wald distribution](/D/wald) | tomfaulkenberry | 2020-09-04 |
+| D96 | const | [Constant](/D/const) | JoramSoch | 2020-09-09 |

I/Definition_by_Topic.md

@@ -26,6 +26,7 @@ title: "Definition by Topic"
 - [Conditional differential entropy](/D/dent-cond)
 - [Conditional entropy](/D/ent-cond)
 - [Conditional probability distribution](/D/dist-cond)
+- [Constant](/D/const)
 - [Continuous uniform distribution](/D/cuni)
 - [Correlation](/D/corr)
 - [Correlation matrix](/D/corrmat)

I/Proof_by_Author.md

@@ -4,7 +4,7 @@ title: "Proof by Author"
 ---
 
 
-### JoramSoch (159 proofs)
+### JoramSoch (163 proofs)
 
 - [(Non-)Multiplicativity of the expected value](/P/mean-mult)
 - [Additivity of the Kullback-Leibler divergence for independent distributions](/P/kl-add)
@@ -44,7 +44,9 @@ title: "Proof by Author"
 - [Expected value of a non-negative random variable](/P/mean-nnrvar)
 - [Exponential distribution is a special case of gamma distribution](/P/exp-gam)
 - [Expression of the cumulative distribution function of the normal distribution without the error function](/P/norm-cdfwerf)
+- [First central moment is zero](/P/momcent-1st)
 - [Full width at half maximum for the normal distribution](/P/norm-fwhm)
+- [Gibbs' inequality](/P/gibbs-ineq)
 - [Invariance of the Kullback-Leibler divergence under parameter transformation](/P/kl-inv)
 - [Invariance of the variance under addition of a constant](/P/var-inv)
 - [Joint likelihood is the product of likelihood function and prior density](/P/jl-lfnprior)
@@ -63,6 +65,7 @@ title: "Proof by Author"
 - [Log model evidence for multinomial observations](/P/mult-lme)
 - [Log model evidence for multivariate Bayesian linear regression](/P/mblr-lme)
 - [Log model evidence for the Poisson distribution with exposure values](/P/poissexp-lme)
+- [Log sum inequality](/P/logsum-ineq)
 - [Log-odds and probability in logistic regression](/P/logreg-lonp)
 - [Logarithmic expectation of the gamma distribution](/P/gam-logmean)
 - [Marginal distributions of the multivariate normal distribution](/P/mvn-marg)
@@ -93,6 +96,7 @@ title: "Proof by Author"
 - [Moment-generating function of the normal distribution](/P/norm-mgf)
 - [Monotonicity of the expected value](/P/mean-mono)
 - [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg)
+- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg2)
 - [Non-negativity of the Shannon entropy](/P/ent-nonneg)
 - [Non-negativity of the expected value](/P/mean-nonneg)
 - [Non-negativity of the variance](/P/var-nonneg)

I/Proof_by_Number.md

@@ -170,3 +170,7 @@ title: "Proof by Number"
 | P161 | mblr-lme | [Log model evidence for multivariate Bayesian linear regression](/P/mblr-lme) | JoramSoch | 2020-09-03 |
 | P162 | wald-pdf | [Probability density function of the Wald distribution](/P/wald-pdf) | tomfaulkenberry | 2020-09-04 |
 | P163 | bf-trans | [Transitivity of Bayes Factors](/P/bf-trans) | tomfaulkenberry | 2020-09-07 |
+| P164 | gibbs-ineq | [Gibbs' inequality](/P/gibbs-ineq) | JoramSoch | 2020-09-09 |
+| P165 | logsum-ineq | [Log sum inequality](/P/logsum-ineq) | JoramSoch | 2020-09-09 |
+| P166 | kl-nonneg2 | [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg2) | JoramSoch | 2020-09-09 |
+| P167 | momcent-1st | [First central moment is zero](/P/momcent-1st) | JoramSoch | 2020-08-19 |

I/Proof_by_Topic.md

@@ -63,8 +63,13 @@ title: "Proof by Topic"
 
 ### F
 
+- [First central moment is zero](/P/momcent-1st)
 - [Full width at half maximum for the normal distribution](/P/norm-fwhm)
 
+### G
+
+- [Gibbs' inequality](/P/gibbs-ineq)
+
 ### I
 
 - [Invariance of the Kullback-Leibler divergence under parameter transformation](/P/kl-inv)
@@ -94,6 +99,7 @@ title: "Proof by Topic"
 - [Log model evidence for multinomial observations](/P/mult-lme)
 - [Log model evidence for multivariate Bayesian linear regression](/P/mblr-lme)
 - [Log model evidence for the Poisson distribution with exposure values](/P/poissexp-lme)
+- [Log sum inequality](/P/logsum-ineq)
 - [Log-odds and probability in logistic regression](/P/logreg-lonp)
 - [Logarithmic expectation of the gamma distribution](/P/gam-logmean)
 
@@ -130,6 +136,7 @@ title: "Proof by Topic"
 ### N
 
 - [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg)
+- [Non-negativity of the Kullback-Leibler divergence](/P/kl-nonneg2)
 - [Non-negativity of the Shannon entropy](/P/ent-nonneg)
 - [Non-negativity of the expected value](/P/mean-nonneg)
 - [Non-negativity of the variance](/P/var-nonneg)