+ log x/x [n..]
+ log x/x [n..]
+ log x/x [n..]
+1+ log x/x [n..] / 4 [n...]
+1+ log x/x [n..] /2n - x
+1+ log x/x [n..]