integral((Pi(x)-li(x))), x=0 to 1