Cumulative binomial probability and normal approximation