Consider the binomial experiment with the probability of success p, 0 < p < 1. We let N_k denote the number of successes after k independent trials. Define the discrete process Y_k by N_k − k_p, the excess number of successes above the mean k_p. Show that Y_k is a martingale.