No.
A prolog is required to push $ra
only if the subroutine calls another subroutine, and must push any S registers the subroutine uses.
But our subroutine does neither.
So, the prolog pushes nothing at all.
The body computes the maximum of the two arguments
and puts it in $v0
.
According to the rules of