Update coci-16-burza.mdx

Author: SansPapyrus683

solutions/gold/coci-16-burza.mdx

@@ -98,7 +98,7 @@ n_{r+1} \leq (k-r)^2-2(k-r)=(k-r-1)^2
 $$
 
 And we're done! Since we've shown that any case where $k^2 \geq n$ will result in a win, we just
-have to handle the case where $K \le 20$, for which
+have to handle the case where $K \lt 20$, for which
 [bitmask DP](/gold/dp-bitmasks) will suffice.
 
 ### Bitmask DP