I was wondering if anyone proved about a specific a number that it has to have a prime factor bigger than the currently largest known prime, without specifying how to find this factor, would it be an interesting result, or a boring one?