>>381
∫[1,0]{1/(e^t +1)}dt と ∫[1,0]{f(t)/(e^t +1)}dt は x に依存しない定数