⁹There is a corresponding inverse for the value function: $Λt (at) = ((1− ρ)vt )1∕(1− ρ) ⇁ ⇁$ , and for the marginal marginal value function etc.