x=cosx(0<x<π/2)の解は初等関数では絶対に表現できないと確信している。