On the convolution inequality f>f*f/Changelog, branch v0.0

On the convolution inequality f>f*f/Changelog, branch v0.0 Carlen, Jauslin, Lieb, Loss, 2020 http://ian.jauslin.org/cgit/articles/20cjll.git/atom?h=v0.0