Friedman–Savage utility function