Notes on Nivens proof that is irrational

Dustri