In my opinion, the point is not that $R$ is the biggest in whatever sense you may give to this, but that the decomposition $T=R+S$ with $S=\sum \lambda_j [A_j]$ ($A_j$ being a $p$-dimensional analytic set), and $R$ having zero Lelong number along any $p$-dimensional analytic set.

The uniqueness is clear because for $x$ generic in $A_j$, $\nu(R+S,x)=\lambda_j \nu([A_j],x)=\lambda_j$, which determines thus uniquely $\lambda_j$, and therefore $S$ and $R$.

Now, if you really want to see that $R$ is the biggest current (in the sense of positivity of currents) such that $R$ has zero Lelong number along any $p$-dimensional analytic set, then you can proceed this way: assume that $T=S'+R'$ is another such decomposition. Then for $x$ generic in $A_j$, $\nu(T,A_j)=\nu(T,x)=\nu(S',x)=\nu(S',A_j)$. But it is a classical fact (see e.g Demailly, Complex analytic and differential Geometry, Proposition 8.16) that $S'-\nu(S', A_j) [A_j]$ is a closed positive current, so that $S' \geqslant S$, and therefore $R' \leqslant R$, which concludes.

thebigger", so probably meant "is the biggest" (e.g. in Spanish "el" = the, "más grande" = bigger, but "el más grande" = the biggest). – Noam D. Elkies Jul 6 '11 at 15:15