Fix any integer $n\geq 1$, and let $a_0,\dots,a_n\in\mathbb{N}$ be positive integers. Define $a\stackrel{\rm def}{=} \sum_{k=0}^n a_k$, and $$ \Delta \stackrel{\rm def}{=} \min_{0\leq k\leq n-1} a_{k+1}\left(2^{a_k}-1\right). $$ What is the best upper bound (as a function of $a$ and $n$) than can be established on $\Delta$?
By an averaging argument and a coarse majoration, I can show that $\Delta \leq a\left(2^{\frac{a}{n}}-1\right)$; but that seems "highly non-optimal." In the absence of further assumptions, can this bound be improved?