La diseguaglianza con il numero 8.

Hi, I have to make a small but important change to the proof, changing the inequality slightly, so the previous text has been deleted. This is due to a small "bug" regarding the number 1, which is not prime, but is not composite either.