log10y+3log10x≥log10x
implieslog10y≥log10x−3log10x
log10y≥−2log10x=log10y≥log10x−2
log10y≥log10(1x2)impliesy≥1x2