On Convex Optimal Value Functions For POSGs