x-5>0はむしろ解あり。
x=4.9999ぐらいでも解。