Vector inequality proof