$$PROVETHAT \sqrt{ 3+ \sqrt{ 2ISan } irrationa \ln ( umber ) }$$
$$PROVETHATsqrt(3-r^2*a^2*t*o*n*sqrt(2*ISa*n)*ln(u*m*b*e*r))$$