Hitchin-Thorpe inequality