Sin x x proof