A bound on Ekman pumping