Answer is 3 tuples but not because of the reasoning your provided.
In the inner related subquery "count *" is returned, i.e., number of tuples that match the condition T1.A < T2.A
If the subquery returns at least one record in its result set, the EXISTS clause will evaluate to true and the EXISTS condition will be met. If the subquery does not return any records, the EXISTS clause will evaluate to false and the EXISTS condition will not be met.
For T1.A=4, count * returns a single record with value 1. Thus row corresponding to A=4 is printed.
For T1.A=2, count * returns a single record with value 2. Thus row corresponding to A=2 is printed.
For T1.A=6, count * returns a single record with NULL. But since it is a record, even if it contains NULL, the EXISTS clause becomes true. Thus row corresponding to A=6 is printed.