See if you can devise a similar proof to show that the optimal import tariff, where a country has monopsony power, is 1/Pes (where Pes is the price elasticity of supply of the import).