[math-fun] problem with prime gap proof