>>163
fのR上での積分が収束してる時、fはR上可積分とします