A sharp estimate for the Hardy-Littlewood maximal function