założenie optymalności