xloga < logc + ylogb