They clicked the "pi" symbol on the Binance homepage [1].

[1] - https://www.youtube.com/watch?v=pXPXMxsXT28