>>570
全射の証明なんですけど
>>566の証明はｅ^ｘの逆写像であるlogｘが存在することを仮定した証明であることに気がつきました…
写像ｆに対して逆写像が存在するのは、ｆが全単射である時ですよね？

この場合は、ｅ^ｘの全単射を示したいわけですが、全単射が仮定されないならばlogを使った証明はまずい気がして…

>>566の証明はまずいですよね？