Вася утверждает что округление числа до данного разряда совпадает либо с приближением с недостатком либо с приближением

Да, Вася прав! Доказательство: округляя число мы смотрим на число которое идёт после запятой, если оно меньше 5, то мы округлям до ближайшего целого числа то есть просто отнимаем число после запятой и оставляем только целое число, если же после запятой стоит число больше 5, то мы прибавляем необходимое число чтобы получилось целое число . Округляя мы делаем число с избытком или с недостатком, как и сказал Вася.