xが任意のx>0なら、x=1として自明じゃね?