Normal Functions are Strictly Increasing and Dominate the Identity