I belived, 2nd option is correct but GeeksforGeeks anwered it as (iv), how?
In CSL A -> B where A belongs to (terminal +non-terminal)+ and B belongs to (terminal + non-terminal)*
and lengthof(A) <=lenghtof(B) (always)
but incase B='epsilon' i dont know whether this condition holds true or not
so answer might be "option 4" possible but i am not sure correct me if i am wrong.