Let n be an integer with n>0. Prove that n is composite if and only if sigma(n) > n + sqrt(n)
If is composite and not a square then the factors of include where . This means that .
If is composite and a square then the factors of include .
This means that .