Note on square root of 2