logx from first principle