lottoarchitect
Member
Yup, logically this specific equation comes from such technical papers too. If it says 86, then the current lowest bound is 86 for this wheel (unless someone else has found a more accurate bound). It still might not be possible to reach even that and maybe there is another even more specific formula that indicates a higher bound too. We simply don't know the exact lowest real bound unless we can prove it somehow.