if N grains of sand is not a heap then N+1 grains is also not a heap. Therefore 10^1000 grains of sand cannot be a heap, and there are no heaps!
Any feasible number (free PostScript version) of grains of sand is not a heap.
Any feasible number (free PostScript version) of grains of sand is not a heap.