ab>c^2