Hang with me! This is *not* a math shitpost, I repeat, it is NOT a math shitpost, not entirely anyway.

It appears there is for products of two non-trivial factors, a real number n (well a rational number anyway) such that p/n = i (some number in the set of integers), whos factor chain is apparently no greater than floor(log(log(p))**2)-2, and whos largest factor is never greater than p^(1/4).

And that this number is at least derivable, laboriously with the following:
where p=a*b

https://pastebin.com/Z4thebha

And assuming you have the factors of p/z = jkl..

then instead of doing

p/(jkl..) = z

you can do

p-(jkl) to get the value of [result] whos index is a-1

Getting the actual factor tree of p/z is another matter, but its a start.

Edit: you have to provide your own product.
Preferably import Decimal first.