A problem involving dot product