tailcalled comments on Unbounded linear utility functions?