Further comment about the assignment

In problem 2, by "Borel measure" it is only meant "measure on the Borel \sigma-algebra". Thus, in part 2b, you only have to show that the convolution \mu \star\nu is a measure. You do not have to show that it is finite on compact sets.