Every contractible space X is simply connected because X is homotopy equivalent to a point.
Is there a direct proof of this fact? There obviously is a (free) homotopy between any loop and the trivial loop at the base point. But how to construct a based homotopy, which is required for a loop to be trivial in the fundamental group?