Furthermore, the trial factors need go no further than formula_1 because, if "n" is divisible by some number "p", then "n = p × q" and if "q" were smaller than "p", "n" would have been detected earlier as being divisible by "q" or by a prime factor of "q".