li(x) < 30(x/logx)