https://123dok.org/document/7qv8oolz-sharp-integral-bounds-for-wigner-distributions.html