Irrationality Proof Protocol Design | Irrationality Proof | Mathematics | NEROS