Clausen eşitsizliği
Matematik'te, Clausen formülü Thomas Clausen tarafından 1828'de bulundu, bir geneleştirilmiş hipergeometrik seri olarak bir Gaussian hipergeometrik serisinin kare ifadesidir. Bu durum
\;_{2}F_1 \left[\begin{matrix}
a & b \\ a+b+1/2 \end{matrix} x \right]^2 = \;_{3}F_2 \left[\begin{matrix} 2a & 2b &a+b \\ a+b+1/2 &2a+2b \end{matrix} x \right]
Özel olarak bu bir hipergeometrik seri için verilen durum pozitif olmalıdır. Bu birkaç eşitsizliği sağlayabilir, böylece Askey–Gasper eşitsizliği de Branges teoreminin kanıtı içinde kullanılabilir.