A criterion for unimodality (Q1277786)

A finite sequence of real numbers, \((d_0,d_1,\dots,d_m)\) is said to be unimodal if there exists an index \(m^*\) such that \(0\leq m^*\leq m\), where \(m^*\) is called the mode of the sequence, such that \(d_0\leq d_1\leq\dots\leq d_{m^*}\) and \(d_m\leq d_{m-1}\leq\dots\leq d_{m^*}\). A polynomial is said to be unimodal if its coefficients are unimodal. Theorem 2.1. If \(P(x)\) is a polynomial with positive nondecreasing coefficients, then \(P(x+1)\) is unimodal. Note that in the author's definition of logarithmically concave the inequality should be reversed.