Sahih Muslim Book 4, Hadith Number 1686.

Chapter : Encouragement to observe prayers during Ramadhan and that is Tarawih.

Abu Jamra reported: I heard Ibn ‘Abbas saying that the Messenger of Allah (may peace be upon him) observed thirteen rak’ahs at night.