$f$ ve onun Fourier transoformu olan $g$ ye bakalim.
$g(y) \approx \int\limits_{-\infty}^\infty exp(-2\pi ixy)f(x) dx$
$f(x) \approx \int\limits_{-\infty}^\infty exp(2\pi ixy)g(y) dy$
$-\int\limits_{-\infty}^\infty |f(x)|^2\log|f(x)|^2 dx- \int\limits_{-\infty}^\infty |g(y)|^2\log|g(y)|^2dy \geq 0$ i gosterin.
Daha buyuk bir alt sinir bulabilir misiniz ?