The symplectic Hadamard question

We show that a simply connected symplectic manifold admitting a complete nonpositively curved compatible metric is symplectomorphic to R^{2n} with its standard symplectic form. This answers the “symplectic Hadamard question” of McDuff-Salamon in the affirmative.