A typo on one of your Stack Exchange answers

[Austin Huang]

Apologies for writing an issue here. On this question, you wrote in your response

$\lbrace T_j=k\rbrace = \lbrace X_0\neq k,...,X_{k-1}\neq k, X_k = k\rbrace$

But shouldn't it be this?

$\lbrace T_j=k\rbrace = \lbrace X_0\neq j,...,X_{k-1}\neq j, X_k = j\rbrace$

[Davi Sales Barreira]

Yep, that's it. I'll fix the answer. cheers