Cho f là một hàm thực được xác định và có đạo hàm liên tục trên khoảng ]0,+∞[, và sao cho
x→0limf(x)=x→+∞limf(x)=0.
Nguyên phân ∫0+∞f′(αt)dt được xác định và liên tục trên mọi khoảng bị chặn ]0,a]: chứng minh rằng nguyên phân ∫0+∞dt∫0af′(αt)dα có thể không tồn tại hoặc có thể khác với
∫0adα∫0+∞f′(αt)dt.