A finitely presented group G is said to be simply connected at infinity if, for any compact set C in the universal cover X̃ for the standard 2-complex for G, there exists a compact set D such that any loop in X̃⧹D is homotopically trivial in X̃⧹C. Suppose that F4 is a free group on four generators, AutF4 its automorphism group, and InnF4 the subgroup of inner automorphisms. We use direct,
... [Show full abstract] elementary means to show that the outer automorphism group of rank 4, AutF4/InnF4 is simply connected at infinity.