Sebastián Martín Ruiz sent the following interesting puzzle:

Prove that Floor[n^2/3] is composite for al n>4. OEIS A000212.

Mr Martín Ruiz claims he has a formal proof of this.

Q. Send your proof or find a counterexample.