積分と極限を交換できる