If the average is currently $X after N purchases, that means they have taken in $(N * X). When the next person pays $(X + 1), the total is now $((N * X) + (X + 1)) == $(((N + 1) * X) + 1). The new average is $(X + (1 / (N + 1))), which is guaranteed to be higher than the old average.
