/2*x - 1 1 \
log|------- - --|
/ 2*x + 1\ | x 10|
|5 | log(10) \ 4 /
log|--------|*------- < -----------------
\ log(5) / log(5) log(5)
(log(10)/log(5))*log(5^(2*x + 1)/log(5)) < log(-1/10 + (2*x - 1)/4^x)/log(5)