Let . If you've proven that then let then we have

(Edit: To be formal you'd have to take but the bound on the left is independent of it and on the right it would look something like )

ie. . It's easy to prove by Hölder's inequality that and

now substitute the estimate for in this one and you're done.