a_1\cdots a_n+1\leq a_{n+1}