Proof 1/inf = 0 and vice versa | ScratchStats