I need some clarification about what would prove that the conjecture holds for every positive integer. Some people claim that proving:
is not necessary and sufficient for the proof.
Are they right, or wrong?
If they are right, what are the necessary and sufficient conditions to accept an attempt as a proof?