1.*7. The analogue of Theorem 9.5.4 for p = 1 is as follows: if Xn ~ 0 for all n, then e /{supXn} S --[1 + supJ'{Xn10g+Xn}], n e -1 n where log + x = log x if x ~ 1 and 0 if x S l.