The ants argument feels rather like a retelling of Zeno's Paradoxes.
https://en.wikipedia.org/wiki/Zeno%27s_paradoxes