Bất đẳng thức biến phân với biến số rời rạc