a nice math Olympiad problem