sol geq f, not leq

adamant-pwn · adamant-pwn · commit 4f388bbcc500 · 2023-12-13T14:10:34.000+01:00
diff --git a/src/graph/hungarian-algorithm.md b/src/graph/hungarian-algorithm.md
@@ -53,7 +53,7 @@ On the one hand, it is easy to see that the cost of the desired solution $sol$ *
 
 !!! info ""
 
-    **Lemma.** $sol\leq f.$
+    **Lemma.** $sol\geq f.$
 
 ??? info "Proof"
 
