[math-fun] A problem about finite sets