Mathematical approach to unpinning of spiral waves anchored to an obstacle with high-frequency pacing