The length of your proof will depend on what theorems you're allowing yourself to call upon. I recall having to show first that all sequences have monotonic subsequences, and that any bounded monotonic subsequence must converge. Bolzano-Weierstrass is a consequence of that.