式の中のパラメタ x が実数であることを表明するには Element[x, Reals] とやりますが、
x > 0 を表明したいときはどうすればよいのでしょう？