Percolation, infinite graphs, Peierls argument