Let us see two scenarios with small number of tuples r1 having 5 tuples and r2 with 3 tuples.
Scenario 1: when all the attributes in R in r1 do not match value of R in r2.
natural join on r1 and r2 would give me
Scenario 2:
There are no uncommon values for R between r1 and r2
Natural join would give
P | Q | R | S | T |
5 | m | 1 | a | m |
6 | n | 2 | b | n |
7 | o | 2 | b | n |
8 | p | 2 | b | n |
9 | q | 1 | a | m |
So in this case we get the max number of tuples ,which is equal to the max number of tuples in relation r1.
Generalizing this inference we can derive that ans is a)2000 =max no of tuples in r1.