I have read the paper Paxos mad simple.
And after hard thinking, I come to this conclusion:
The Paxos protocol always guarantees the majority of serve