This is a problem from Brezis Exercise 3.11:
In the solution section, Brezis gave the following solution:

I wonder why does it suffices to argue on sequences and why does there exists some $y \in E$ such that $(Ax_n, y) \not\to (Ax, y)$? This might follow from the definition, but I am not seeing it.
