 The main tool in the proof of the above equivalence is the following result.The following statements are equivalent


We call the inequality in the third formulation a reverse Hölder inequality as the reverse inequality follows for any non-negative function directly from Hölder's inequality.If any of the three equivalent conditions above hold we say belongs to .