>>500
これなら定義から導くだけだからそれほど、極限のときとほとんど同じだし
あと、Vp（f,a,b）＝Σ[k=0,n-１] |f(x(k+1))-f(x(k))| だと思うんだが
これだとすると

和
|(f+g)(x(k+1))-(f+g)(x(k))|≦|f(x(k+1))-f(x(k))|+|g(x(k+1))-g(x(k))|
で和とって上限とって

積
|(fg)(x(k+1))-(fg)(x(k))|≦|f(x(k+1))-f(x(k))|*|g((x(k+1))|+|f(x(k))|*|g(x(k+1))-g(x(k))|
有界変動なら有界なことを使って上と同じように