[math-fun] RandomPartition[n]