Constrained non-concave utility maximization: An application to life insurance contracts with guarantees · Study