Why exactly do we use factorial for finding an $L$ which is divisible by $p - 1$?
Pollard's algorithm is about B-powersmooth numbers & not B-smooth numbers. So where exactly does the factorial come in? Factorials aren't done by powering anything - it's just a multiplication of numbers without any exponentiation.
I am referring to Pollard's $p - 1$ algorithm as covered in Silverman's Mathematical Cryptography book - where they check $a^{j!} - 1$ in a loop (with j incrementing) till they find the right $gcd(a^{j!} - 1)$ which leads to a factor.
I understand the part where Fermat's Little Theorem is used to show that L is such that $p-1$ divides $a^L - 1$ & $q-1$ does not divide $a^L - 1$ - my question is not related to that. My question is why/how does trying ${j!}$ (i.e. trying factorials) work for finding a suitable $L$?