По-моему указатели на лестнице выглядят так:
>>>>>><<<<<<
То есть снизу вверх n/2 указателей вверх, потом n/2 указателей вниз. Если n нечетно, указателей вверх на 1 больше. Вася стоит на последнем указателе вверх.
Доказательства пока не придумал, к сожалению.
Количество ходов (1+n)/2*n
Записан