RE: What should I do?
Well as tempting as it is to punch him in the face. The best thing to do is just walk away, tell a teacher. Say If he does in fact keep pushing you or even starts to hit you, defend yourself but not in a offense like way...if all else fails and you are in a situation you have to do something to defend your self, kick him in the crotch area. That last part is only as a last resort if harassment keeps on continuing.