log(1/5,x)>=1+2*log(1/5,x)