We can iterate over possible \( r_\max = m \) and \( l_\min = k \) with \( m < k \). - Crosslake