https://123dok.org/document/lzgn2n6y-nonstandard-analysis-sumset-phenomenon-arbitrary-amenable-groups.html