Later on, we will prove rigorously that the two optimal entities converge to the same value of roughly 0

Later on, we will prove rigorously that the two optimal [...]