 Ordinal partition bound

If an ordinal is partitioned into two copies of type $\beta$, its type is below $\beta +\beta +\beta$; two copies do not always give a strict bound.