Es6的尾递归

Question

文档的这两个例子，我不太能理解，
主要区别看来看去就是return的时候，一个是n*factorial另一个是把n写在了尾调用的参数里面，
书中说到，“”只有不再用到外层函数的内部变量，内层函数的调用帧才会取代外层函数的调用帧“”，
，这两个函数都用到了外层函数的内部变量n啊，为什么第二个就是尾递归了？还有第二个例子中。也就是那个改写之后的尾递归，为什么要加入一个total这个参数，为什么要在最后调用的时候使用它？

求解答