1/(3x-7u) > 3 (9x-7i) ^ -1, for i