10=3!+log_{√√3}3 反則か?