halleys irrational formula