My undergraduate real analysis course didn't, probably because here, I don't think complex numbers are necessarily part of the high school curriculum. Instead,

My undergraduate real analysis course didn't, probably because here, I don't think complex numbers are necessarily part of the high school curriculum. Instead, we defined sin and cos via power series, and then IIRC, pi as the first positive zero of the sin function or something similar.