Input (grade 9): In 1882, Ferdinand von Lindenmann proved that this is indeed impossible.
Output (grade 8): In 1882, Ferdinand von Lindenmann proved that this is impossible.