結果 : define recursive function in discrete mathematics