$ 0 0 I was searching for a proof for the compactness of [0, 1] and I came across the excellent image of a proof from a book. Can anyone help me identify what book this is?