O menor número real positivo que satisfaz a equação 2cosx - 1 = 0 é: