∫[x=0、1]2^xdxは
1/log2であってますか?