Binary notation writes a number using only 0 and 1, which is how data is ultimately stored and processed by computers. Write a function to_binary that converts a non-negative integer n into a binary string with no leading zeros. For 0, return the string 0.

def to_binary(n: int) -> str: