Traditionally, they come from ancient Greek philosophers. This one seems to be a modern variant of https://en.m.wikipedia.org/wiki/Sorites_paradox so I guess it's not "official".