[math-fun] The Brazil-nut effect