Isto equivale a um professor por 12,5 alunos. E apenas professores a tempo inteiro.

Disponível aqui, que eu não gosto de enunciar sem demonstrar.