>わたしはn * factorial(n-1)は関数だと思います

これがfractional自身とは異なる以上、末尾再帰にはならんわけ。