Since and , the expression in the hypothesis equals , with . For every finite real , the Taylor expansion of cosine gives . The Fatou lemma therefore givesNo differentiability of the characteristic function or prior integrability of was assumed; the nonnegative difference quotient establishes it.
Articles by others on the same topic
There are currently no matching articles.