Umm, let me verify that. I think there shouldn't be.
I am not really sure about the difference of this two term. But I am assuming it wouldn't matter. In any case, If I do think It will I will try to address
@AdvilSell that discussion will tend to a highly advanced topic but it is more or less defined enough. It's just the notation $a^{\infty}$ is not defined.
@Jasmine I can explain why did I use my interpretation but it will take some time
Following the order lim n lim x f(n,x) is not the best option here