/ 1 \ log|----- + 1| / 1 \ | 2 | log|---- + 1| log(3*x + 1) \72*x / \24*x / ------------ + -------------- >= ------------- log(5) log(5) log(5)
log(1 + 1/(72*x^2))/log(5) + log(3*x + 1)/log(5) >= log(1 + 1/(24*x))/log(5)