In mathematics, a sequence a = (a0, a1, ..., an) of nonnegative real numbers is called a logarithmically concave sequence, or a log-concave sequence for short, if ai2 ≥ ai−1ai+1 holds for 0 < i < n . Remark: some authors (explicitly or not) add two further conditions in the definition of log-concave sequences: * a is non-negative * a has no internal zeros; in other words, the support of a is an interval of Z. These conditions mirror the ones required for log-concave functions.