Riesz-Markov-Kakutani representation theorem