Height inequalities