How to pump up a ball