〔類題〕
tan(1) < π/2　を示せ。