One-side theorems on the law of the iterated logarithm without the independence assumption

Two theorems on the law of the iterated logarithm are proved for sequences of not necessarily independent random variables. These theorems are one-sided analogoues of some results of Lai and Stout.