Fractional powers of self-adjoint operators and Trotter-Kato product formula