単峰列・対数凹列

実数列 $a_0,\dots,a_n\ge0$ が単峰であるとは、ある $m$ について $a_0\le a_1\le\cdots\le a_m\ge a_{m+1}\ge\cdots\ge a_n$ が成り立つことをいう。$1\le k\le n-1$ について $a_k^2\ge a_{k-1}a_{k+1}$ が成り立つとき対数凹という。