Emphatic no from me!
Much like your DS kids were picking on him verbally - calling him a boffin etc, chasing him but never actually physically hurting him.
He was miserable. Under a little black cloud.
DS was bullied in year 4-5 ( and probably a but in year 6 but by then he had " bully proofed" himself).
What happened to change things?
We talked to school - that helped somewhat, but they clearly belittled a bit as " just teasing" as maybe it was really but to DS it wasn't.
We took him out of cubs ( the ring leader was the cub leaders son and in the same group - interestingly DD2 left cubs bullied by his daughter!) and got him a voice trial for the local cathedral.
Being a chorister got him a group of equally clever boys with a common musical interest and singing lots was amazing - he went in under an eyore type black cloud and came out smiling!
He is a bit of a literalist. Certainly then he believed a lot of stuff he read in books. A book called " bullies big mouths and other so called friends " basically gave him the strategies to " bully proof " himself. And, as he was convinced they would work they really helped.
Those 2 things got him through years 5 and 6 at primary. Yes there were black cloud days but he coped.
From year 7 he absolutely thrived and hasn't looked back. He went to grammar school and boffins were respected (especially if they are musical - never a moments trouble for that, and happen to hurl themselves into rugby too!). Dunno how he'd have been in a non selective school.
Long saga- suggest get the book- read it, believe it, use the strategies. Find an out of school and away from that group of kids hobby and do it often. Talk through and reinforce good times/ good days and keep on the back of school if it keeps happening.