Farkas lemma and proof of infeasibility - Discrete Optimization Academy