Спасибо всем за советы. Решили взять на лето репетитора по скайпу и заниматься целенаправленно олимпиадной математикой. Обычная математика по программе усвоена хорошо, 5 - ка заслуженная по учебнику Гейдмана. А дальше будем смотреть как и что. Если не потянет или не понравится, то откинем эту идею.