ThmDex – An index of mathematical definitions, results, and conjectures.
P2069
Fix $\xi \in \mathbb{R}^D$. Applying results
(i) R2533: Triangle inequality for complex integral
(ii) R2749: Planar wave kernel is constant in Euclidean norm

we have \begin{equation} \begin{split} |\mathfrak{F}_{\mu}(\xi)| = \left| \int_{\mathbb{R}^D} C e^{i c x \cdot \xi} \, \mu(d x) \right| & \leq \int_{\mathbb{R}^D} \left| C e^{i c x \cdot \xi} \right| \, \mu(d x) \\ & = |C| \int_{\mathbb{R}^D} \, d \mu(x) = |C| \mu(\mathbb{R}^D) \end{split} \end{equation} $\square$