We define higher order fixed points of normal functions, describe them and apply to obtain a constructive proof that, if $\kappa$ is the least ordinal such that the ultrapower $\kappa^I/F$ is non-trivial, then that ultrapower has at least $\kappa^+$ elements.