Problem 1 Prove that the equation 4x3−3x+1=2y24x^3-3x+1=2y^24x3−3x+1=2y2 has at least 313131 solutions in positive integers xxx and yyy with x≤2005x\leq 2005x≤2005 .