Hitchin–Thorpe inequality