tweek calculation of allowed lambda_s values to work for border cases when K is relatively big