Omar Antolín on Nostr: nprofile1q…s3kqn Yes. More generally the square root of a positive integer is ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq6tneke6u6pvla2drpws3l7f2g2zamwcyrlfgpks0hjqjrz57cgvs0s3kqn (nprofile…3kqn) Yes. More generally the square root of a positive integer is either a positive integer or it is irrational. So, for example, √30 is irrational because 5² < 30 < 6².