The OEIS is looking to hire part-time people to help edit core sequences, upload scanned documents, process citations, fix broken links, etc. - Neil Sloane, njasloane@gmail.com
A154332
Least positive integer m such that A087285(n) = A154333(m) = m^3 - next smaller square.
The terms of this sequence constitute a "proof" for the terms listed in A087285. To prove that a number is NOT in A087285, one can check the finite number (A081120) of solutions to the corresponding Mordell equation, cf. references in A081121.