验证下述非线性规划为凸规划，并求出最优解。