[math-fun] Comment on tian-tsui