holder inequality for three functions