[downboots]

perhaps it was a veiled suggestion to use infinity in the proof (which would not fit in any margin) (?) https://en.wikipedia.org/wiki/Proof_by_infinite_descent