In research with product partitions models, especially the Dirichlet process mixture, I've found a pair of inequalities useful. They are reproduced as theorems below. Does anyone know if these are special cases of a well-known theorem?

**Theorem**: Let and be positive integers such that . Then,

.

**Proof**: implies

**Theorem**: Let and be positive integers such that . Then,

.

**Proof**: implies