Finite-sample Chernoff error bound ($p_n^{\ast }\le \frac{1}{2}{e}^{-nC(P,Q)}$)

For equal prior probabilities and independent and identically distributed observations on a finite alphabet, minimum sum of errors in a simple hypothesis test givesFor nonnegative $a,b$ and $0<s<1$, $\min (a,b)\le a^s{b}^{1-s}$. Applying this termwise and using the independence of random variables to factor the sum yieldsOptimizing $s$, with an infimum if needed, proves $p_n^{\ast }\le \frac{1}{2}{e}^{-nC(P,Q)}$. This short argument gives a bound for every $n$. The theorem identifying the optimal error exponent also needs the converse: no decision rule can achieve a strictly larger limiting exponent. A log-likelihood ratio is a sum of independent contributions, so large deviation principle supplies the relevant converse idea.