Problem 26

Prove that every composite number has a proper factor less than or equal to its square root.

Problem 13

Prove that the square root of 201720172017  is an irrational number.