It has been proved that π is irrational.
Terdapat beberapa bukti bahwa π irasional.