§ Why searching for divisors upto sqrt(n) works