if you cast Blue Sun's Zenith and target player does not have enough cards in his library, does he lose?
Yes.
Fluttershy is best pony.