x>0ならばx>aである。

この命題が真であるaの条件だぞ。