Consider R.a = S.a and S.b < 25.
R is the outer side and S is the inner side.
The nested loop index join does not apply the S.b < 25 predicate. The number of rows produced is based on the join predicate only. This observation is reflected in the new formula.