After 10 steps, you’ll see approximately 1,024 vertices. The illustration below shows how the 3-regular tree is much bigger after only seven steps, even though the square grid has more vertices at ...

However, if you pick a number for n, such as TREE(3) or TREE(4), it is theoretically possible to solve the proof with finite arithmetic and demonstrate that TREE(3) is not infinite—you just ...