√rじゃなくて無理数rでいいよね
一般の無理数をとるわけじゃないけど