Analyze Recursion in Diminish Function