５４番
任意の実数xに対して、cos(sinx)＞sin(cosx)が成り立つことを示せ。