add bernoulli_bound_2exp_si