The Lindemann–Weierstrass theorem states that if $\alpha_1, ..., \alpha_n$ are algebraic numbers which are linearly independent over the rational numbers $ℚ$, then $e^{\alpha_1}, ..., e^{\alpha_n}$ are algebraically independent over ℚ.

An equivalent formulation by Baker is the following: If $\alpha_1, ..., \alpha_n$ are distinct algebraic numbers, then the exponentials $e^{\alpha_1}, ..., e^{\alpha_n}$are linearly independent over the algebraic numbers. This means that $\sum_i \beta_i e^{\alpha_i} \neq 0$.

My question is: suppose $\sum_i \beta_i e^{\alpha_i} \neq 0$, how to give a **lower bound** of $|\sum_i \beta_i e^{\alpha_i}|$. In other words, I am looking for some analogical result of Baker's theorem. Note that Baker's theorem is about the logarithm, i.e., a lower bound of $\sum_i \beta_i \log(\alpha_i)$, but here we have exponents.