All of this is a consequence of Minkowski's integral inequality, we have ( is the counting measure on ):

Since the left hand side is finite, so is the right side, but an integrable function can only be infinite on a null set so we get that is finite a.e. The rest follows directly from the inequality above as well.