Let , , be real-valued, independent and identically distributed random variables, such that the probability density of each is a Schwartz class function, and set . Show that the probability distribution function of is , and there exists a constant such that for any Schwartz function we have .
A word on notation: a random variable is a measurable function on a measure space equipped with a (non-negative) measure such that . A Borel measurable function is the probability density of if for any Borel set we have . The expected value of a random variable is . Finally, random variables are independent if for any collection of Borel sets we have .