18This limiting result requires that we impose the FHWC  (ΦΦΦ < R)  , because the perfect foresight consumption function is not defined if ΦΦΦ ≥ R  . Informally, the proof is as follows. Define c ≡ (m − 1)κ = cu(m )  as the consumption function for the unemployed consumer who will receive no future labor income. Then c(m ) < c(m ) ≤ ¯c(m )  , and so 1 < c(m )∕c(m ) < ¯c(m )∕c(m )  . In the limit as m ↑ ∞ , however, human wealth accounts for an arbitrarily small proportion κh∕κ(h +m  − 1)  of consumption, so limm ↑∞ ce(m )∕cu(m ) = 1  so the precautionary motive captured by ∇ vanishes.