0<x<y<π/2
(cosx-1)/x>(cosy-1)/y・・・①　の証明問題で解答では
f(x)=(cosx-1)/xとおいてるんだけど、このxは①で使われているxとは別物？