If $X_n\rightarrow X$ in distribution, how to show that $\mathbb{P}(X_n=x)\rightarrow 0$ if $F$ is continuous at $x$? We know that $$\lim_{n\rightarrow\infty}F_n(x)=F(x)$$ whenever $F$ is continuous at $x$ (where $F_n$ and $F$ are the corresponding distribution functions), but it should also be true that 
$$\lim_{n\rightarrow\infty}\mathbb{P}(X_n=x)=0.$$
I tried some things with $P(X_n\leq x)=P(X_n<x)+P(X_n=x)$ and $P(X\leq x)=P(X<x)$, but don't see it...
 A: I developed a solution that is perhaps more complicated than what Michael was thinking of, but I like how each ingredient is used very explicitly:
In the situation described above, we assume that 
$$\lim_{n\rightarrow\infty}\mathbb{P}(X_n=x)\neq 0,$$
which means that for some $\epsilon>0$ there is an infinite index set $I_\epsilon\subseteq\mathbb{N}$ such that
$$\forall n\in I_\epsilon:~\mathbb{P}(X_n=x)\geq\epsilon,$$
so that in particular
$$\forall n\in I_\epsilon~\forall x'<x:~F_n(x')\leq F_n(x)-\epsilon.$$
Furthermore, the fact that $\displaystyle\lim_{n\rightarrow\infty}F_n(x)=F(x)$ and the continuity of $F$ in $x$ tell us that for some $K\in\mathbb{N}$ and $\delta>0$ we have
$$\forall k\geq K:~F_k(x)\leq F(x)+\frac{\epsilon}{3},~~\forall x'\in[x-\delta,x):~F(x)\leq F(x')+\frac{\epsilon}{3}.$$
Putting all this together, we see that for any element $m$ of the infinite index set $I_\epsilon\cap [K,\infty)$ and $x'\in[x-\delta,x)$ the following holds:
$$F_m(x')\leq F_m(x)-\epsilon\leq F(x)-\frac{2\epsilon}{3}\leq F(x')-\frac{\epsilon}{3}.$$
Therefore, on the uncountable set $S=[x-\delta,x)$ we have
$$\lim_{n\rightarrow\infty}F_n(\cdot)\neq F(\cdot).$$
However, by the definition of weak convergence, this entails that $F$ is discontinuous on $S$, which is impossible for any distribution function.
A: Mau answers it another way, here is what I had in mind from my comment: 
Let $x$ be a point of continuity of $F$.  By my above comment, we know there is an infinite sequence $\{y_i\}_{i=1}^{\infty}$ such that $y_i<x$ for all $i \in \{1, 2, 3, ...\}$, $F$ is continuous at $y_i$ for all $i \in \{1, 2, 3, ...\}$, and $\lim_{i\rightarrow\infty} y_i = x$.  
Now fix $n \in \{1, 2, 3, ...\}$ and $i \in \{1, 2, 3, ...\}$.  By considering the interval $(y_i, x]$ we have 
$$P[X_n=x] \leq P[X_n\leq x] - P[X_n \leq y_i] $$
Taking a limit as $n\rightarrow\infty$ and using $F$ continuous at both $x$ and $y_i$: 
$$ \limsup_{n\rightarrow\infty} P[X_n=x] \leq F(x) - F(y_i) $$
Taking a limit as $i\rightarrow \infty$ and using the fact that $F$ is continuous at $x$ gives the result. 
