(lim x -> 0 arctan(x * tan(0.25)) / arctan(x * tan(0.5))) = (tan(0.25) / tan(0.5))