solve x*(x+1)/2 = y for x