a>tan(1.4) = 5.797

> D(expression(atan(x)),'x')
1/(1 + x^2)
> curve(atan,0,10)
> abline(h=1.4,lty=3)
> tan(1.4)
[1] 5.797884
> integrate(\(x) 1/(1+x^2),0,tan(1.4))$value
[1] 1.4
グラフより明らか
https://i.imgur.com/JWwG6Rm.png
∴示された
（cogito ergo sum.以外は 何が自明かは人によって異なる）

東大合格者の別解を希望。