Tengo que crear una función que acepte la ruta del archivo como entrada y luego necesito verificar si es formato pdf y su tamaño es más de 800kb o no si es así, entonces tengo que dividir el archivo y devolver las rutas del archivo que son creados. ¿Puede ayudarme con qué biblioteca puedo hacerlo?