Неравенство с модулем из ДВИ МГУ, июль 2015 года