For real. My dad was of the “just ignore them and they’ll get bored” school of dealing with bullies/harassment. In my experience, 95% of them just escalate until they DO get a reaction.
I mean, I once successfully ignored two guys following me home from school and spitting in my hair. So they knocked me down, ripped off my shoes, and threw them onto a nearby roof.