From ed6be54085b6d4186225c2d0d88761555a389c1e Mon Sep 17 00:00:00 2001
From: Mohammad Hashir Siddiqui <113341675+Hashir311@users.noreply.github.com>
Date: Tue, 15 Oct 2024 16:18:09 +0530
Subject: [PATCH] Resolves #1219: Update knuth-optimization.md

---
 src/dynamic_programming/knuth-optimization.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dynamic_programming/knuth-optimization.md b/src/dynamic_programming/knuth-optimization.md
index 535c7caf2..3adf3c283 100644
--- a/src/dynamic_programming/knuth-optimization.md
+++ b/src/dynamic_programming/knuth-optimization.md
@@ -143,7 +143,7 @@ assuming the given conditions are satisfied.
             dp_{z}(a, c) + dp_{y}(b, d) = C(a, c) + C(b, d) + dp(a, z) + dp(z+1, c) + dp(b, y) + dp(y+1, d).
             $$
 
-            Using the QI on $C$ and on the dp state for the indices $z+1 \leq y+1 \leq c \leq d$ (from the induction hypothesis) yields the desired result.
+            Using the QI on $C$ and on the dp state for the indices $a \leq b \leq c \leq d$ (from the induction hypothesis) yields the desired result.
         
         - If $z > y$, the proof of this case is symmetric to the previous case.