Fedja’s proof of Deepti’s inequality

Abstract

The paper aims to present, in a systematic way, an elegant proof of Deepti’s inequality. Both the inequalityand various ideas concerning the issue were discussed on the Mathoverflow website by a number of users, but none haveappeared in the literature thus far. In this work, suggestions pertaining to users ‘Deepti’ and ‘fedja’ are traced, whencethe title. The results or the paper are new, and the proof is divided into a series of statements, many of which are ofinterest in themselves.