x < (log_5 x+1) ( log_2 10 ) + 1