Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é a maior população de Ivaiporã, PR?
  ###Tabelas:
CREATE TABLE table_name_13 (population INTEGER, town_city VARCHAR)


SELECT MAX(population) FROM table_name_13 WHERE town_city = "ivaiporã, pr"