Como encontrar o maior dígito em um número inteiro informado pelo usuário - Desafio de Programação Resolvido em Python

Informe um número inteiro: 3752
O maior dígito no número informado é: 7

# método principal
def main():
  # vamos pedir para o usuário informar um número inteiro
  numero = int(input("Informe um valor inteiro: "))
  
  # guarda o maior número
  maior = 0
    
  # enquanto número for maior que 0
  # A técnica consiste em separar o número em seus dígitos
  # individuais, começando do último para o primeiro
  while(numero > 0):
    # recebe o resto da divisão do número informado por 10
    resto = numero % 10
      
    # o maior é menor que o resto?
    if(maior < resto):
      maior = resto
      
    # passamos para o próximo dígito
    numero = numero // 10
    
  # mostra o resultado
  print("O maior dígito no número informado é: {0}".format(maior))
  
if __name__== "__main__":
  main()