Suppose we have a constant product automated market maker of the form xy = k, where k is a constant, x represents the amount of Token X, and y represents the amount of Token Y. Initially ,there are 4 Token X and 1600 Token Y. Alice makes a trade that results in her receiving exacty 60% of the Token X from the pool. (The pool charges no fees.) Which is larger: the initial amount of Token Y in the pool, or the amount of Token Y that Alice traded in?