Q22 Matemática  (IMO 1980)

Prove que $4x^3-3x+1=2y^2$ tem pelo menos $31$ soluções em inteiros positivos $x,y$ com $x\le 1980$. Variante: Prove que a equação $4x^3-3x+1=2y^2$ tem infinitas soluções em inteiros positivos x,y.