ɛɡzˈɪstəns: wiː nˈaʊ ʃˈoʊ ðæt ˈɛf, wˌɛɹ ˈɛf ɪz ðə fˈʌŋkʃən dᵻfˈaɪnd baɪ ðə lˈeɪbnɪz fˈɔːɹmjʊlə, hɐz ðiːz θɹˈiː pɹˈɑːpɚɾiz.
Existence: We now show that F, where F is the function defined by the Leibniz formula, has these three properties.