I'm a little busy now, but I'll think about it. The methodology is to note that and thus but expanding the logarithm gives doing the quick verification that the inner sum can be interchanged this implies that . Integrating both sides from to etc. etc