Думается, как-то так решать нужно. 
Пусть объём чашки - x мл, а Вася в первый раз выпил y мл кофе. Тогда молока он долил в первый раз y мл, затем y/2 мл, потом у/4 мл и в последний, k-тый раз у/ 2k-1 мл. Суммируя геометрическую прогрессию (проще это сделать "в уме", представив её как разность двух бесконечно убываюших прогрессий со знаменателем 0,5 и первыми элементами y и у/ 2k , суммы которых равны 2y и у/ 2k-1=y*21-k соответственно), имеем, что Вася выпил y*(2-21-k)мл молока и x мл кофе. Осталось сравнить эти величины, но как избавиться от введённых переменных - ума не приложу... 
Ясно одно - если Вася в первый раз выпил не больше половины чашки (2y<=x), то кофе всё-таки было выпито больше, чем молока 
Пусть объём чашки - x мл, а Вася в первый раз выпил y мл кофе. Тогда молока он долил в первый раз y мл, затем y/2 мл, потом у/4 мл и в последний, k-тый раз у/ 2k-1 мл. Суммируя геометрическую прогрессию (проще это сделать "в уме", представив её как разность двух бесконечно убываюших прогрессий со знаменателем 0,5 и первыми элементами y и у/ 2k , суммы которых равны 2y и у/ 2k-1=y*21-k соответственно), имеем, что Вася выпил y*(2-21-k)мл молока и x мл кофе. Осталось сравнить эти величины, но как избавиться от введённых переменных - ума не приложу... Ясно одно - если Вася в первый раз выпил не больше половины чашки (2y<=x), то кофе всё-таки было выпито больше, чем молока 
Записан